Veröffentlichungen
November 2018
So Mo Di Mi Do Fr Sa
   123
45678910
11121314151617
18192021222324
252627282930 
DBApp-Suche

Application datasets: 20447 Version datasets: 144123
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  
 
  Angaben ändern   Neue Version melden