18th IEEE International Conference on Automated Software Engineering (ASE'03) Visual Specification of Concurrent Systems Montreal, Quebec, Canada October 06-October 10 ISBN: 0-7695-2035-9
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.
Citation:
David Safr?nek, "Visual Specification of Concurrent Systems," ase, pp.369, 18th IEEE International Conference on Automated Software Engineering (ASE'03), 2003 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||