 | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Wissensbrowser starten | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||
|  | |  | |  | |
| ||||||
| ||||||
|  | | ||||
| ||||||
Verfahren |
|
Übersicht über formale Spezifikationstechniken |
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Beschreibung | |||||||||
| |||||||||
| Allgemein anerkannte Klassifikationsschemata für formale Methoden bzw. Spezifkationstechniken sind kaum zu finden. Die Aufteilung in modellbasierte und algebraische Spezifikationsmethoden findet sich in mehreren Veröffentlichungen und bei Sommerville.
Eine nicht strukturierte Übersicht über formale Spezifikationssprachen findet sich auf den Seiten der Formal Methods Europe oder in der Methods Virtual Library. Die folgende einordnende Übersicht stammt von Ian Sommerville.
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
Eintrag kommentieren | ||||
| ||||
 | Übergeordnet | | ||
| ||||
|
| | ||
| ||||
| ||||
| ||||
| ||||
| Übersicht über formale... | ||||
| ||||
| ||||
| ||||
| ||||
 | Untergeordnet | | ||
| ||||
|
| | ||
|
| | ||
|
| | ||
| ||||
| ||||
| Erfahrungen | | ||
| ||||
|
| | ||
|
| | ||
| ||||
| Ansprechpartner | | ||
| ||||
|
| | ||
| ||||
| ||||
| | | ||
| ||||||||||||||
|
