Detail publikace

A Framework for Formal Specification of Embedded Systems

BUREŠ, F., RYŠAVÝ, O., ŠČUGLÍK, F., ŠVÉDA, M. 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. p. 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
anglicky
Autoři
Bureš František, Ing.
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS)
Ščuglík František, Ing., Ph.D. (CK-SZZ)
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Klíčová slova

Formal specifications, structural specification, object logic, class specification language, behavioral specification, CSP

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
ISBN
0-7695-2308-0
Vydavatel
IEEE Computer Society
Místo
Los Alamitos, California
BibTeX 
@inproceedings{BUT21462,
  author="František {Bureš} and Ondřej {Ryšavý} and František {Ščuglík} and Miroslav {Švéda}",
  title="A Framework for Formal Specification of Embedded Systems",
  booktitle="Proceedings of the 12th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems",
  year="2005",
  pages="323--330",
  publisher="IEEE Computer Society",
  address="Los Alamitos, California",
  isbn="0-7695-2308-0"
}
Nahoru