Detail publikace

Local Time for Formal Specification of Networked Embedded System

ŠVÉDA Miroslav. Local Time for Formal Specification of Networked Embedded System. WSEAS Transactions on Computers, roč. 2, č. 1, 2003, s. 4-9. ISSN 1109-2750.
Název česky
Lokální čas pro formální specifikace sítí vestavěných systémů
Typ
článek v časopise
Jazyk
angličtina
Autoři
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT)
Abstrakt

Příspěvek popisuje prostředí pro formální specifikace podporující návrhovou metodu zaměřenou na malé vestavěné aplikace s distribuovanou architekturou. Je diskutován pojem lokálního času a uveden původní specifikační jazyk věnovaný konceptu lokálního času. Hlavní pozornost je zaměřena na reálnou aplikaci síťového měřicího systému jako případovou studii demonstrující využití tohoto jazyka pro specifikaci chování. Současně příspěvek demonstruje, jak lze využít specifikační nástroje, které nejsou objektově orientované, pro objektově orientované implementace.

Rok
2003
Strany
4-9
Časopis
WSEAS Transactions on Computers, roč. 2, č. 1, ISSN 1109-2750
Kniha
WSEAS Transactions on Computers
Vydavatel
World Scientific and Engineering Academy
BibTeX 
@ARTICLE{FITPUB7310,
   author = "Miroslav \v{S}v\'{e}da",
   title = "Local Time for Formal Specification of Networked Embedded System",
   pages = "4--9",
   booktitle = "WSEAS Transactions on Computers",
   journal = "WSEAS Transactions on Computers",
   volume = 2,
   number = 1,
   year = 2003,
   ISSN = "1109-2750",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7310"
}
Nahoru