Journal article

ŠČUGLÍK František and ŠVÉDA Miroslav. Automatically Generated CSP Specifications. Journal of Universal Computer Science. 2003, vol. 9, no. 11, pp. 1277-1295. ISSN 0948-6968.
Publication language:english
Original title:Automatically Generated CSP Specifications
Title (cs):Automaticky generované CSP specifikace
Pages:1277-1295
Book:Journal of Universal Computer Science
Place:AT
Year:2003
Journal:Journal of Universal Computer Science, Vol. 9, No. 11, AT
ISSN:0948-6968
Keywords

CSP, Model, Formal Specification, UML, Translator, Grammar

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:
@ARTICLE{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=7351}
}

Your IPv4 address: 54.91.38.173
Switch to IPv6 connection

DNSSEC [dnssec]