Towards a formalization of UML class structures in Z

Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

Volumn , Issue , 1997, Pages 646-651

  Shroff, Malcolm ^a   France, Robert B ^a  

^a FLORIDA ATLANTIC UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER SIMULATION; FORMAL LANGUAGES; Z TRANSFORMS;

UNIFIED MODELING LANGUAGE (UML);

OBJECT ORIENTED PROGRAMMING;

EID: 0030650281     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)