A Formal Representation for State Diagrams in the OMT Methodology

Elisa Bertino, Donatella Castelli, Federica Vitale. A Formal Representation for State Diagrams in the OMT Methodology. In Keith G. Jeffery, Jaroslav Král, Miroslav Bartosek, editors, SOFSEM 96: Theory and Practice of Informatics, 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996, Proceedings. Volume 1175 of Lecture Notes in Computer Science, pages 327-334, Springer, 1996.

Abstract

Abstract is missing.