Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{489729,
author = {Šafránek, David},
address = {Montreal, Quebec, Canada},
booktitle = {18th IEEE International Conference on Automated Software Engineering},
keywords = {visual specification; concurrent systems; coordination models},
language = {eng},
location = {Montreal, Quebec, Canada},
isbn = {0-7695-2035-9},
pages = {369-372},
publisher = {IEEE Computer Society},
title = {Visual Specification of Concurrent Systems},
year = {2003}
}
TY - JOUR
ID - 489729
AU - Šafránek, David
PY - 2003
TI - Visual Specification of Concurrent Systems
PB - IEEE Computer Society
CY - Montreal, Quebec, Canada
SN - 0769520359
KW - visual specification
KW - concurrent systems
KW - coordination models
N2 - The work on a visual formalism for specification of concurrent systems is presented. It is proposed to match requirements of state-of-the-art component-based design methods. Special emphasis is given to specification of heterogeneous systems in which the different models of computation can be mixed together. We briefly summarize recent research related to the topic and give a sketch of the basic ideas for definition of the proposed language. The already achieved results of our work are presented as well.
ER -
ŠAFRÁNEK, David. Visual Specification of Concurrent Systems. In \textit{18th IEEE International Conference on Automated Software Engineering}. Montreal, Quebec, Canada: IEEE Computer Society, 2003, s.~369-372. ISBN~0-7695-2035-9.
|
