Other formats:
BibTeX
LaTeX
RIS
@inproceedings{579961, author = {Šafránek, David and Šimša, Jiří}, address = {Heidelberg}, booktitle = {SOFSEM 2005: Theory and Practice of Computer Science}, keywords = {visual coordination diagrams; labelled transition systems; visual specification; concurrent systems}, language = {eng}, location = {Heidelberg}, isbn = {3-540-24302-X}, pages = {320-330}, publisher = {Springer}, title = {VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures}, year = {2005} }
TY - JOUR ID - 579961 AU - Šafránek, David - Šimša, Jiří PY - 2005 TI - VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures PB - Springer CY - Heidelberg SN - 354024302X KW - visual coordination diagrams KW - labelled transition systems KW - visual specification KW - concurrent systems N2 - A visual formalism called Visual Coordination Diagrams (VCD) for high-level design of heterogeneous systems is presented in this paper. The language is based on a state-transition operational semantics, which allows application of formal methods to software design. Formal definition of VCD is included in the paper. Moreover, an example of use of the language is also given. ER -
ŠAFRÁNEK, David and Jiří ŠIMŠA. VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures. In \textit{SOFSEM 2005: Theory and Practice of Computer Science}. Heidelberg: Springer, 2005, p.~320-330, 10 pp. ISBN~3-540-24302-X.
|