A metamodel-based approach to integrate object-oriented graphical and formal specification techniques
Data(s) |
01/01/2002
|
---|---|
Identificador | |
Idioma(s) |
eng |
Publicador |
The University of Queensland, School of Information Technology and Electrical Engineering |
Palavras-Chave | #Object-oriented methods (Computer science) #UML (Computer science) #L #280302 Software Engineering #700199 Computer software and services not elsewhere classified |
Tipo |
Thesis |