Detail publikace

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

ŠVÉDA, M.; VRBA, 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. p. 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
anglicky
Autoři
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Vrba Radimír, prof. Ing., CSc. (CEITEC VUT)
Klíčová slova

Embedded software, formal specification, structured design, object-oriented design

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)
ISBN
978-989-8111-11-1
Vydavatel
IEEE Computer Society
Místo
Barcelona
BibTeX 
@inproceedings{BUT28804,
  author="Miroslav {Švéda} and Radimír {Vrba}",
  title="SPECIFICATION-DRIVEN DESIGN OF EMBEDDED SYSTEMS - Design Support for Networked Embedded Software Applications",
  booktitle="Proceedings of the International Joint Conference on e-Business and Telecommunications (ICETE 2007, ICE-B)",
  year="2007",
  pages="23--30",
  publisher="IEEE Computer Society",
  address="Barcelona",
  isbn="978-989-8111-11-1"
}
Nahoru