A formal representation for state diagrams in the OMT methodology

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1175, Issue , 1996, Pages 327-334

  Bertino, Elisa ^a   Castelli, Donatella ^b   Vitale, Federica ^a  

^a UNIVERSITY OF MILAN   (Italy)

^b ISTI CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ABSTRACT MACHINES; CYCLIC STATE; FORMAL REPRESENTATIONS; STATE DIAGRAM; STATE TRANSITIONS;

INFORMATION SCIENCE;

EID: 84949528335     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0037414     Document Type: Conference Paper

References (7)

1. J. R. Abrial. The B-Book. to appear, 1996.
2. R. H. Bordeau and B. H.C. Cheng. A Formal Semantics for Object Model Diagrams. IEEE Transaction on Software Engineering, 10, 1995.
3. T. C. Hartrum and P. D. Bailor. In Teaching Formal Extensions of Informal-Based. Object-Oriented Analysis Methodologies, pages 389-409. Computer Science Education, 1994.
4. F. Hayes and D. Coleman. Coherent Models for Object-Oriented Analysis. In Proc. of OOPSLA ’91, pages 171-183, 1991.
5. V. Jonckers, K. Verschaeve, L. Cuypers, and J. Heirbaut. OMT, Bridging the Gap between Analysis and Design. 1995.
6. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object- Oriented Modeling and Design. Prentice Hall, Englewood Cliffs, 1991.
7. F. Vitale. Analisi di Proprieta di Modelli Orientati ad Oggett.i per lo Sviluppo di Sistemi Informativi. Dip. di Inf., Pisa, Tesi di Laurea, 1996.