Verification of external specifications of reactive systems

External specification is currently approached by specification languages for describing and analyzing system requirements. The external specification can be defined during the early stages of the system development and can be very useful for: checking the class/system/subsystem requirements; checki...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on systems, man and cybernetics. Part A, Systems and humans man and cybernetics. Part A, Systems and humans, 2000-11, Vol.30 (6), p.692-709
Hauptverfasser:	Bellini, P., Bruno, M.A., Nesi, P.
Format:	Artikel
Sprache:	eng
Schlagworte:	Costs Councils Criteria Formal specifications History Mathematical models Message passing Object oriented Object oriented modeling Object-oriented programming Power engineering and energy Real time Real time systems Specification languages Specifications Studies Systems engineering and theory Temporal logic
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!