Detail publikace

SPECIFICATION-DRIVEN DESIGN OF EMBEDDED SYSTEMS - Design Support for Networked Embedded Software Applications

ŠVÉDA Miroslav a VRBA Radimír. SPECIFICATION-DRIVEN DESIGN OF EMBEDDED SYSTEMS - Design Support for Networked Embedded Software Applications. In: Proceedings of the International Joint Conference on e-Business and Telecommunications (ICETE 2007, ICE-B). Barcelona: IEEE Computer Society, 2007, s. 23-30. ISBN 978-989-8111-11-1.
Název česky
Návrh vestavěných systémů řízený specifikacemi - Podpora návrhu síťových vestavěných aplikací
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT)
Vrba Radimír, prof. Ing., CSc. (STI VUT)
Abstrakt

Příspěvek prezentuje přístup k formálním specifikacím, verifikaci a prototypování síťových vestavěných aplikací v rozsahu od rozsáhlých informačních systémů až po malé komponenty vestavěné např. v mobilních zařízeních. Hlavní pozornost je soustředěna na specifikace struktury a chování reaktivních resp. RT aktivit užitím strukturovaného nebo objektově orientovaného přístupu v závislosti na aplikačních požadavcích.

Rok
2007
Strany
23-30
Sborník
Proceedings of the International Joint Conference on e-Business and Telecommunications (ICETE 2007, ICE-B)
Konference
International Conference on e-Business, Barcelona, ES
ISBN
978-989-8111-11-1
Vydavatel
IEEE Computer Society
Místo
Barcelona, ES
BibTeX 
@INPROCEEDINGS{FITPUB8378,
   author = "Miroslav \v{S}v\'{e}da and Radim\'{i}r Vrba",
   title = "SPECIFICATION-DRIVEN DESIGN OF EMBEDDED SYSTEMS - Design Support for Networked Embedded Software Applications",
   pages = "23--30",
   booktitle = "Proceedings of the International Joint Conference on e-Business and Telecommunications (ICETE 2007, ICE-B)",
   year = 2007,
   location = "Barcelona, ES",
   publisher = "IEEE Computer Society",
   ISBN = "978-989-8111-11-1",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8378"
}
Nahoru