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...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	2009 ICSE Workshop on Modeling in Software Engineering s. 26 - 31
Hlavní autori:	Spanfelner, Bernd, Leuxner, Christian, Sitou, Wassiou
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	Washington, DC, USA IEEE Computer Society 17.05.2009 IEEE
Edícia:	ACM Conferences
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!