The UML as a formal modeling notation

A formal semantics for object model diagrams

R.H. Bourdeau, Betty H. C. Cheng · IEEE Transactions on Software Engineering · 1995 · 166 citations

Computing, Computer Science, Diagramming +16

Reasoning with UML class diagrams

Andy Evans · 2002 · 87 citations

Computing, Computer Science, Formal Methods +16

Foundations of the Unified Modeling Language

Tony Clark, Andy Evans · Electronic workshops in computing · 1997 · 64 citations · Full text

Computing, Computer Science, Design Automation +13

An Integrated Object-Oriented and Formal Modeling Environment.

Jean‐Michel Bruel, María M. Larrondo-Petrie · Journal of Object-oriented Programming · 1997 · 36 citations

Computing, Computer Science, Formal Methods +11