Formal specification of system functions

Today's software systems tend more and more to comprise a multitude of different, often interfering functionalities. Especially in the case of embedded systems with their high requirements on safety this imposes additional risks for unwanted system behavior. Use cases are a common way to descri...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	2009 ICSE Workshop on Modeling in Software Engineering S. 26 - 31
Hauptverfasser:	Spanfelner, Bernd, Leuxner, Christian, Sitou, Wassiou
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	Washington, DC, USA IEEE Computer Society 17.05.2009 IEEE
Schriftenreihe:	ACM Conferences
Schlagworte:	Abstracts Airplanes Cellular phones Embedded system Explosions Formal specifications Formal verification General and reference > Cross-computing tools and techniques > Validation Informatics Safety Software and its engineering > Software creation and management > Software development process management > Software development methods Software and its engineering > Software creation and management > Software verification and validation Software and its engineering > Software creation and management > Software verification and validation > Empirical software validation Software and its engineering > Software creation and management > Software verification and validation > Formal software verification Software and its engineering > Software creation and management > Software verification and validation > Process validation Software and its engineering > Software organization and properties > Software functional properties > Formal methods Software systems Theory of computation > Semantics and reasoning > Program reasoning > Program specifications
ISBN:	9781424437221, 1424437229
ISSN:	2156-7883
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!