The UML as a formal modeling notation.

Robert B. France Andy Evans Kevin Lano Bernhard Rumpe

Published in: Comput. Stand. Interfaces (1998)

Keyphrases

modeling language
formal methods
unified modeling language
software engineering
real time
class diagram
visual languages
metamodel
business process modeling
sequence diagrams
uml profile
model driven engineering
requirements specification
constraint language
conceptual modeling
black box
software systems
databases