Conference paper

BUREŠ František, RYŠAVÝ Ondřej, ŠČUGLÍK František and ŠVÉDA Miroslav. A Framework for Formal Specification of Embedded Systems. In: Proceedings of the 12th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. Los Alamitos, California: IEEE Computer Society, 2005, pp. 323-330. ISBN 0-7695-2308-0.
Publication language:english
Original title:A Framework for Formal Specification of Embedded Systems
Title (cs):Rámec pro formální specifikace vestavěných systémů
Pages:323-330
Proceedings:Proceedings of the 12th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems
Conference:IEEE International Conference and Workshop on Engineering of Computer-Based Systems 2005
Place:Los Alamitos, California, US
Year:2005
ISBN:0-7695-2308-0
Publisher:IEEE Computer Society
Keywords
Formal specifications, structural specification, object logic, class specification language, behavioral specification, CSP
Annotation
This paper presents concepts of a specification-driven framework focusing on object-oriented design of embedded systems. It deals with tools and techniques aiming to prop formal specification and early design life cycle phases. Particularly, this contribution discusses logic calculus of objects, related class specification language, and techniques both for architecture specifications and for behavior specifications generated either from UML based semiformal behavioral diagrams or, as a reengineering tool, from source code.
BibTeX:
@INPROCEEDINGS{
   author = {Franti{\v{s}}ek Bure{\v{s}} and Ond{\v{r}}ej
	Ry{\v{s}}av{\'{y}} and Franti{\v{s}}ek
	{\v{S}}{\v{c}}ugl{\'{i}}k and Miroslav
	{\v{S}}v{\'{e}}da},
   title = {A Framework for Formal Specification of Embedded
	Systems},
   pages = {323--330},
   booktitle = {Proceedings of the 12th IEEE International Conference and
	Workshop on the Engineering of Computer-Based Systems},
   year = 2005,
   location = {Los Alamitos, California, US},
   publisher = {IEEE Computer Society},
   ISBN = {0-7695-2308-0},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=7743}
}

Your IPv4 address: 34.239.173.11
Switch to https