SmallTalk YX.
SmallTalk YX - Linguaggio della programmazione open source (implementazione del SmallTalk-80 Standard) ...
875 KB
 | Hol-ocl.HOL-OCL - Ambiente interattivo Prova per il linguaggio vincolo degli oggetti (OCL) |
| Scarica ora | |
Hol-ocl. Classifica e riepilogo
Annuncio pubblicitario
- Licenza:
- GPL
- Prezzo:
- FREE
- Nome editore:
- Achim D. Brucker and Burkhart Wolff
- Sito web dell'editore:
- http://www.brucker.ch/projects/hol-ocl/index.en.html
- Sistemi operativi:
- Mac OS X
- Dimensione del file:
- 4.6 MB
Hol-ocl. Tag
Hol-ocl. Descrizione
HOL-OCL - Ambiente a prova interattiva per il linguaggio del vincolo degli oggetti (OCL) HOL-OCL è un ambiente di prova interattiva per il linguaggio del vincolo degli oggetti (OCL). HOL-OCL è implementato come un'incrafting superficiale di OCL nell'istanza della logica di ordine superiore (HOL) del prover di teorema interattivo Isabelle.hol-OCL consente di perfezionare le specifiche OCL, la ragione sulle specifiche OCL e costruisce la base per ulteriori strumenti Supporto, ad esempio per la generazione automatica dei test.
Hol-ocl. Software correlato
Polhemuse per Java.
Polhemuse per Java - Pacchetto di sviluppo per Java per utilizzare i dispositivi di tracciamento ...
13 KB
Testcfrunloop.
TESTCFRUNLOOP - Integrare l'attività socket-Attività in un programma in base al quadro di fondazione e utilizzando cfrunloop ...
2 KB
Sympycore.
Sympycore cerca nuove soluzioni ad alte prestazioni per rappresentare e manipolare le espressioni simboliche in Python ...
138 KB
