Veröffentlichungen
Juni 2015
So Mo Di Mi Do Fr Sa
123456
78910111213
14151617181920
21222324252627
282930 
DBApp-Suche

Application datasets: 19751 Version datasets: 132824
DBApp v1.06
Copyright © demon
Werbung
  OBJ3

OBJ3 ist ein Programm-Spezifikations- und Beweissysystem, das auf einer geordneten Gleichheitslogik beruht. Es wurde erfolgreich benutzt für Forschung und Lehre in Software-Design und -Spezifikation, Rapid Prototyping, Theorem-Beweiser, Design von Benutzerschnittstellen und Hardware-Verifikation. Es war die erste Sprache, die parametrisiertes Programmieren implementierte, und sein Modulsystem beeinflußte den Entwurf der Modulsysteme von Ada, C++ und ML. (hjb)


 

Homepage: http://secure.ucd.ie/products/opensource/OBJ3/
Rating:
Lizenz: BSD-Lizenz (original)
Kategorie: Konsole

Download:
[...]p://secure.ucd.ie/products/opensource/ESCJava2/download.html
ChangeLog:
[...]ecure.ucd.ie/products/opensource/ESCJava2/release_notes.html 
 

.: Hauptzweig
2005-05-10  2.10a1  Ersteintrag  mehr...  
 
  Angaben ändern   Neue Version melden