Detail publikace

A Framework for Formal Specification of Embedded Systems

BUREŠ František, RYŠAVÝ Ondřej, ŠČUGLÍK František a Š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, s. 323-330. ISBN 0-7695-2308-0.
Název česky
Rámec pro formální specifikace vestavěných systémů
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Bureš František, Ing. (FIT VUT)
Ryšavý Ondřej, doc. Ing., Ph.D. (FIT VUT)
Ščuglík František, Ing., Ph.D. (FIT VUT)
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT)
Abstrakt

Příspěvek prezentuje koncepty rámce pro pecifikace objektově orientovaného návrhu vestavěných systémů. Pojednává o nástrojích a technikách pro podporu formálních specifikací a úvodních fází návrhu. Zvláště je zde diskutován logický kalkul objektů, příslušný specifikační jazyk tříd a techniky jak pro specifikaci architektury tak i chování generované buď ze semiformálních UML diagramů, nebo ze zdrojového kódu.

Rok
2005
Strany
323-330
Sborník
Proceedings of the 12th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems
Konference
IEEE International Conference and Workshop on Engineering of Computer-Based Systems 2005, Greenbelt, Maryland, USA, US
ISBN
0-7695-2308-0
Vydavatel
IEEE Computer Society
Místo
Los Alamitos, California, US
BibTeX
@INPROCEEDINGS{FITPUB7743,
   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 = "https://www.fit.vut.cz/research/publication/7743"
}
Nahoru