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

Full description

Saved in:

Bibliographic Details
Published in:	2009 ICSE Workshop on Modeling in Software Engineering pp. 26 - 31
Main Authors:	Spanfelner, Bernd, Leuxner, Christian, Sitou, Wassiou
Format:	Conference Proceeding
Language:	English
Published:	Washington, DC, USA IEEE Computer Society 17.05.2009 IEEE
Series:	ACM Conferences
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!