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.

Authors

Elisa Bertino

This author has not been identified. It may be one of the following persons: Look up 'Elisa Bertino' in Google

Donatella Castelli

Identified as Donatella Castelli

Federica Vitale

This author has not been identified. Look up 'Federica Vitale' in Google