Concepedia
Lecture notes in computer science · 1999 · 50 citations · 1 references
EngineeringModeling And SimulationComputer ScienceModel Driven ArchitectureMetamodeling TechniqueData ModelingModel Composition
1
The UML as a formal modeling notation
Robert France, A. William Evans, Kevin Lano et al. · Computer Standards & Interfaces · 1998 · 261 citations
Formal Notation, Engineering, Automated Reasoning +8