Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
ŠČUGLÍK, F., ŠVÉDA, M.
Originální název
Automatically Generated CSP Specifications
Typ
článek ve sborníku ve WoS nebo Scopus
Jazyk
angličtina
Originální abstrakt
Two possibilities of automated CSP (Communicating Sequential Processes) support are introduced using either behavioral diagrams or application source code. While in the first approach a tool generates CSP specification from behavioral diagrams, based on UML Composite States diagram, in the second approach an application source code is translated directly into CSP specification using a compiler. This paper reviews tools related to both techniques.
Klíčová slova
Formal specifications, CSP, reuse, reverse engineering
Autoři
Rok RIV
2003
Vydáno
15. 4. 2003
Nakladatel
University of Stirling
Místo
Huntsville, AL
ISBN
1-85769-189X
Kniha
Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, 2003
Strany od
41
Strany do
47
Strany počet
7
BibTex
@inproceedings{BUT13957, author="František {Ščuglík} and Miroslav {Švéda}", title="Automatically Generated CSP Specifications", booktitle="Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, 2003", year="2003", pages="41--47", publisher="University of Stirling", address="Huntsville, AL", isbn="1-85769-189X" }