Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. OCL development environment for Eclipse
  5. Download

OCL development environment for Eclipse 2

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 3.8/5 - ‎4 ‎Votes

Sur OCL development environment for Eclipse

L’objectif principal de ce projet est de créer un éditeur Eclipse pour spécifier les contrats OCL. Le langage OCL est utilisé pour spécifier les pré-, post-conditions et les invariants. Le projet contient également un parser pour vérifier la justesse syntactique et sémantique.

Programmes connexes

  • Faile Gratuit

    Faile est un programme d’échecs gratuit qui joue un jeu d’échecs assez fort (Force experte ou mieux). L’un des principaux objectifs de Faile est de fournir un programme complet d’échecs en vedette avec du code source qui est

  • Sonyer Gratuit

    Cet outil permet de sauvegarder des données telles que l’annuaire téléphonique, calendrier, notes et autres d’un téléphone mobile SonyEricsson (testé sur w810i). C’est un outil de ligne de commande.

  • SubdiverSVN Gratuit

    SubdiverSVN est un client Subversion pour Linux avec la bibliothèque GTKmm.

  • Note Me Up Free Gratuit

    Prenez des notes simples et informez les notes. Il ya widget disponible aussi. Soutenez-nous avec l’achat de la version COMPLÈTE qui contient tous les extras:- Capture Notes (Capture de l’appareil photo, utiliser multi touch

  • CMWS Model Gratuit

    Le modèle CMWS, actuellement écrit en python, compile les séries de modèles des sorties opérationnelles du modèle informatique GFS et NAM par la NOAA afin de fournir des prévisions météorologiques numériques à l’aide de prévi

  • UO Sphere Scripter Gratuit

    SphereScripter est un outil simple qui vous permet de faire des scripts Sphereserver et gumps d’une manière facile. Caractéristiques: couleur du code, vérifier la syntaxe, créateur gump, afficher art / mul photos, recherche a

  • CarbonKernel Gratuit

    Ce projet sourceforge est fermé jusqu’à nouvel ordre -CarbonKernel est un simulateur RTOS basé sur des techniques de simulation basées sur des événements. Il imite le comportement des systèmes d’exploitation en temps réel,

  • BTCpp Gratuit

    BTCpp est une bibliothèque Bluetooth Open Source écrite en C/C++.Vous pouvez utiliser BTCpp dans vos projets C/C++ si vous avez besoin d’une prise en charge des données de lecture/écriture de base sur les appareils distants

  • OOF: the very open Flash components Gratuit

    OOF est un ensemble de composants qui permettent aux concepteurs de créer un back-office, un front office, des sites dynamiques, des formes, des applications riches, des applications pilotées par des bases de données... Cela

  • Nobles Riggers App Gratuit

    Développé par Nobles, cet outil simple et facile à utiliser qui vous permet de rechercher des limites de charge de travail pour différents types de gréement (élingue de corde métallique, élingues à chaîne, élingue synthétique