Abstract: This paper presents a methodology that aims at the specification, verification and prototyping of large distributed systems.

Abstract: This paper presents a methodology that aims at the specification, verification and prototyping of large distributed systems.

H-COSTAM: a hierarchical communicating state-machine model for generic prototyping · F. Kordon, W. Kaim · Published in Proceedings Sixth IEEE… 7 June 1995 ...

This paper presents a methodology that aims at the specification, verification and prototyping of large distributed systems. This methodology relies on H-COSTAM ...

Fabrice Kordon, William El Kaim: H-COSTAM: a hierarchical communicating state-machine model for generic prototyping. RSP 1995: 131-139. manage site settings.

This methodology relies on H-COSTAM: a high level representation that supports hierarchy and focuses on message passing communication mechanisms. In order to ...

H-COSTAM: a hierarchical communicating state-machine model for generic prototyping ... hierarchical communicating state-machine model for generic prototyping.

A Specification Environment That Supports the Prototyping of Distributed Systems Using an Object-Oriented Model. · H-COSTAM: a hierarchical communicating state- ...

El Kaim, "H-COSTAM : a Hierarchical Communicating State- machine Model for Generic Prototyping", Proceedings of the 6th International. Workshop on Rapid ...

H-COSTAM: a hierarchical communicating state-machine model for generic prototyping pp. 131. CASE tools evaluation: an automatic process based on fuzzy sets ...