Detail publikace

Automatically Generated CSP Specifications

ŠČUGLÍK František a ŠVÉDA Miroslav. Automatically Generated CSP Specifications. Journal of Universal Computer Science, roč. 9, č. 11, 2003, s. 1277-1295. ISSN 0948-6968.
Název česky
Automaticky generované CSP specifikace
Typ
článek v časopise
Jazyk
angličtina
Autoři
Ščuglík František, Ing., Ph.D. (UIFS FIT VUT)
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT)
Abstrakt

Jsou uvedeny dvě možnosti automatizované podpory CSP využívající buďto diagramy chování, nebo zdrojový kód aplikace. Zatímco v prvním přístupu je prezentován nástroj generující CSP ze stavových diagramů UML, ve druhém přístupu je uveden kompilátor překládající zdrojový kód přímo do CSP. Příspěvek popisuje nástroje pro obě techniky.

Rok
2003
Strany
1277-1295
Časopis
Journal of Universal Computer Science, roč. 9, č. 11, ISSN 0948-6968
Kniha
Journal of Universal Computer Science
Vydavatel
Springer Verlag
BibTeX 
@ARTICLE{FITPUB7351,
   author = "Franti\v{s}ek \v{S}\v{c}ugl\'{i}k and Miroslav \v{S}v\'{e}da",
   title = "Automatically Generated CSP Specifications",
   pages = "1277--1295",
   booktitle = "Journal of Universal Computer Science",
   journal = "Journal of Universal Computer Science",
   volume = 9,
   number = 11,
   year = 2003,
   ISSN = "0948-6968",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7351"
}
Nahoru