Invia software
  1. Casa
  2. Windows
  3. Altro
  4. OCL development environment for Eclipse
  5. Download

OCL development environment for Eclipse 2

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 3.8/5 - ‎4 ‎Voti

Circa OCL development environment for Eclipse

Lo scopo principale di questo progetto è quello di creare un editor Eclipse per specificare i contratti OCL. Il linguaggio OCL viene utilizzato per specificare pre, post-condizioni e invarianti. Il progetto contiene anche un parser per verificare la correttezza sintattica e semantica.

Programmi correlati

  • Faile Gratuito

    Faile è un programma di scacchi gratuito che gioca un gioco abbastanza forte di scacchi (forza esperta o meglio). Uno degli obiettivi principali di Faile è quello di fornire un programma di scacchi completo con codice sorgent

  • Sonyer Gratuito

    Questo strumento consente di eseguire il backup di dati come rubrica, calendario, note e altri telefoni cellulari SonyEricsson (testati su w810i). Questo è uno strumento da riga di comando.

  • SubdiverSVN Gratuito

    SubdiverSVN è un client subversione per Linux con libreria GTKmm.

  • Note Me Up Free Gratuito

    Prendere appunti semplici e notificare le note. C'è anche un widget disponibile. Supportaci con l'acquisto della versione COMPLETA che contiene tutti gli extra:- Acquisire note (acquisire dalla fotocamera, utilizzare il multi

  • CMWS Model Gratuito

    Il modello CMWS, attualmente scritto in python, compila le esecuzioni dei modelli operativi GFS e NAM di NOAA per fornire una previsione meteorologica numerica utilizzando previsioni statistiche. Il modello viene eseguito htt

  • UO Sphere Scripter Gratuito

    SphereScripter è uno strumento semplice che ti consente di creare script Sphereserver e Gumps in modo semplice. Caratteristiche: colore del codice, sintassi di controllo, creatore di grondaie, visualizzazione di immagini Art

  • CarbonKernel Gratuito

    Questo progetto sourceforge viene chiuso fino a nuovo avviso...CarbonKernel è un simulatore RTOS basato su tecniche di simulazione basate su eventi. Imita il comportamento dei sistemi operativi in tempo reale, consentendo d

  • BTCpp Gratuito

    BTCpp è una libreria Bluetooth Open Source scritta in C/C++.È possibile utilizzare BTCpp nei progetti C/C++ se è necessario il supporto per i dati di lettura/scrittura di base su dispositivi remoti, scansione remota dei dis

  • OOF: the very open Flash components Gratuito

    OOF è un insieme di componenti che consentono ai progettisti di creare un back office, un front office, siti dinamici, moduli, applicazioni avanzate, applicazioni basate su database ... Questo fatto con Flash o SILEX, da desi

  • Nobles Riggers App Gratuito

    Sviluppato da Nobles, questo strumento semplice e facile da usare che consente di cercare limiti di carico di lavoro per vari tipi di sartiame (fioche di funi metalliche, fioche a catena, indotti sintetici), il tutto secondo