Includes supplementary material: sn.pub/extras
Robert B. France
Exception Fusion Java Software engineering Unified Modeling Language (UML) business process modeling calculus database design formal methods inheritance model checking modeling object-oriented technology software architectures unified modeling language UML