Formal specification languages

Die B-Methode ist eine Methode der Softwareentwicklung , die auf B basiert , einer werkzeuggestützten formalen Methode , die auf einer abstrakten Maschinennotation beruht und in der Entwicklung von Computersoftware

CoreASM ist ein Open-Source -Projekt (lizenziert unter Academic Free License Version 3.0), das sich auf die Entwicklung einer schlanken, ausführbaren ASM-Sprache ( Abstract State Machines ) konzentriert, in Kombination

In der Informatik sind formale Spezifikationen mathematisch fundierte Verfahren, die die Implementierung von Systemen und Software unterstützen.

OBJ ist eine Programmiersprachenfamilie, die 1976 von Joseph Goguen eingeführt und von Jose Meseguer weiterentwickelt wurde .

Das Prototype Verification System ( PVS ) ist eine Spezifikationssprache, die mit unterstützenden Werkzeugen und einem automatisierten Theorembeweiser integriert ist und im Computer Science Laboratory von SRI

SPARK ist eine formal definierte Programmiersprache , die auf der Programmiersprache Ada basiert und für die Entwicklung hochintegrierter Software in Systemen konzipiert ist, in denen ein vorhersagbarer und

Specification and Description Language ( SDL ) ist eine Spezifikationssprache, die auf die eindeutige Spezifikation und Beschreibung des Verhaltens reaktiver und verteilter Systeme abzielt .

Die Universal Systems Language ( USL ) ist eine Systemmodellierungssprache und formale Methode zur Spezifikation und zum Entwurf von Software und anderen komplexen Systemen.

Die Z-Notation / ˈ z ɛ d / ist eine formale Spezifikationssprache zur Beschreibung und Modellierung von Computersystemen.