Conference paper

ŠČUGLÍK František and Š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, pp. 41-47. ISBN 1-85769-189X.
Publication language:english
Original title:Automatically Generated CSP Specifications
Title (cs):Automaticky generované CSP specifikace
Pages:41-47
Proceedings:Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, 2003
Conference:IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
Place:Huntsville, AL, US
Year:2003
ISBN:1-85769-189X
Publisher:University of Stirling
Keywords
Formal specifications, CSP, reuse, reverse engineering
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=7158}
}

Your IPv4 address: 54.224.50.28
Switch to IPv6 connection

DNSSEC [dnssec]