Includes supplementary material: sn.pub/extras
Lionel Briand
Unified Modeling Language (UML) automation formal methods generic programming model model-based software architecture modeling object technology ocl quality software architecture specification systems modeling uml modeling unified mo