A Formal Representation for State Diagrams in the OMT Methodology.

Elisa Bertino, Donatella Castelli, Federica Vitale

Browse the full SOFSEM paper archive.