UML2ALLOY: A tool for lightweight modelling of discrete event systems

Behzad Bordbar, Kyriakos Anastasakis. UML2ALLOY: A tool for lightweight modelling of discrete event systems. In Nuno Guimarães, Pedro T. Isaías, editors, AC 2005, Proceedings of the IADIS International Conference on Applied Computing, Algarve, Portugal, February 22-25, 2005, 2 Volumes. pages 209-216, IADIS, 2005.

Abstract

Abstract is missing.