Detail publikace

Automatically Generated CSP Specifications

ŠČUGLÍK František a ŠVÉDA Miroslav. Automatically Generated CSP Specifications. In: Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, 2003. Huntsville, AL: University of Stirling, 2003, s. 41-47. ISBN 1-85769-189X.
Název česky
Automaticky generované CSP specifikace
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
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
41-47
Sborník
Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, 2003
Konference
IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Huntsville, AL, US
ISBN
1-85769-189X
Vydavatel
University of Stirling
Místo
Huntsville, AL, US
BibTeX
@INPROCEEDINGS{FITPUB7158,
   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 = "41--47",
   booktitle = "Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, 2003",
   year = 2003,
   location = "Huntsville, AL, US",
   publisher = "University of Stirling",
   ISBN = "1-85769-189X",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7158"
}
Nahoru