Formalizing and integrating the dynamic model within OMT

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1997, Pages 45-55

  Wang, Enoch Y ^a   Richter, Heather A ^a   Cheng, Betty H C ^a  

^a MICHIGAN STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION LANGUAGES; FORMAL LANGUAGES; FORMAL LOGIC; OBJECT ORIENTED PROGRAMMING; COMPUTATIONAL LINGUISTICS; COMPUTER SIMULATION; COMPUTER SYSTEMS PROGRAMMING;

LOTOS PROGRAMMING LANGUAGE; OBJECT MODELING TECHNIQUE (OMT);

SOFTWARE ENGINEERING; OBJECT ORIENTED PROGRAMMING;

LOTOS PROGRAMMING LANGUAGE; OBJECT MODELING TECHNIQUE (OMT);

EID: 0030615486     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/253228.253239     Document Type: Conference Paper

References (17)