H ? « ‹ ← → › »

Language peer sets for V-Promela:
United States↑
United States/1999↑
Designed 1999 ↑
1990s languages ↑
Internet↑
New internationlism↑

V-Promela(ID:3942/vpr002)

alternate simple view
Country: United States
Designed 1999

Holtzmann and Leue, 1999
a visual, object-oriented extension of Promela for the hierarchical modeling of structure and behaviour of concurrent reactive systems

Structures:
Related languages
PROMELA → V-Promela   Evolution of
References:
  • Leue, Stefan and Holzmann, Gerard (1999) Leue, Stefan and Holzmann, Gerard "v-Promela: A Visual, Object-Oriented Language for Spin" Abstract ps
          in Proceedings of the Second IEEE International Sympo (1999) Proceedings of the Second IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 3rd.-5th. May 1999, Saint Malo, France, IEEE Computer Society Press, 1999
  • Moataz Kamel (1999) Moataz Kamel "On the Visual Modeling and Verification of Concurrent Systems" Master's Thesis Waterloo 1999
          in Proceedings of the Second IEEE International Sympo (1999) Proceedings of the Second IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 3rd.-5th. May 1999, Saint Malo, France, IEEE Computer Society Press, 1999
  • Kamel, M. (2000) Kamel, M. and S. Leue: VIP: A Visual Editor and Compiler for v-Promela, in: S. Graf and M. Schwartzbach (eds.), Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2000, Lecture Notes in Computer Science, p. 471 - 486, Springer Verlag, March 2000. Abstract pdf
          in Proceedings of the Second IEEE International Sympo (1999) Proceedings of the Second IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 3rd.-5th. May 1999, Saint Malo, France, IEEE Computer Society Press, 1999
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder