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.
|
