An Axiomatic Formalization of UML Models
収録刊行物
-
- Practical UML-Based Rigorous Development Methods
-
Practical UML-Based Rigorous Development Methods 13-28, 2001
Practical UML-Based Rigorous Development Methods 13-28, 2001