Fakulta informačních technologií VUT v Brně

Detail publikace

Formal Specs Reuse with Embedded Systems Design -- Behavioral and Architectural Specifications in Real-Time Application Domains

ŠVÉDA Miroslav. Formal Specs Reuse with Embedded Systems Design -- Behavioral and Architectural Specifications in Real-Time Application Domains. In: IEEE Proceedings of the Second International Conference on Systems, ICONS 2007. New York: IEEE Computer Society, 2007, s. 11-16. ISBN 0-7695-2807-4.
Název česky
Opakované využití formálních specifikací při návrhu vestavěných systémů -- Specifikace chování a architektury v doméně RT aplikací
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Abstrakt
Příspěvek se věnuje opakovanému využití formálních specifikací při návrhu vestavěných systémů využívajícímu konečné a časované automaty v rámci struktury aplikačních vzorů. Pozornost je věnovaná podpoře využívající usuzování založeného na dříve řešených případech. Aplikační vzory tvoří bázi jazyka pro návrh třídy vestavěných systémů pro práci v reálném čase.
Rok
2007
Strany
11-16
Sborník
IEEE Proceedings of the Second International Conference on Systems, ICONS 2007
Konference
International Conference on Systems, Fort de France, Martinique, MQ
ISBN
0-7695-2807-4
Vydavatel
IEEE Computer Society
Místo
New York, US
BibTeX
@INPROCEEDINGS{FITPUB8330,
   author = "Miroslav \v{S}v\'{e}da",
   title = "Formal Specs Reuse with Embedded Systems Design -- Behavioral and Architectural Specifications in Real-Time Application Domains",
   pages = "11--16",
   booktitle = "IEEE Proceedings of the Second International Conference on Systems, ICONS 2007",
   year = 2007,
   location = "New York, US",
   publisher = "IEEE Computer Society",
   ISBN = "0-7695-2807-4",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8330"
}
Nahoru