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

Application datasets: 20446 Version datasets: 144121
DBApp v1.06
Copyright © demon
Werbung
Programm-Informationen
Applikation:OBJ3
Version(en):
  Hauptzweig2.10a1
Lizenz:BSD-Lizenz (original)
Homepage:http://secure.ucd.ie/products/opensource/OBJ3/
Kategorie:Konsole
Beschreibung:
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.
 
Weitere Informationen
Programmiersprache:Keine Angaben
Betriebsysteme:
Zielgruppe:
 
Neue Version melden
Neue Homepage melden
Neue Beschreibung
Lizenzänderung
Kategorie-Änderung
"Weitere Informationen" ändern
Weitere Anmerkungen