Use cases combined with BOOCH/OMT/UML: process and products

Verification of requirements for saftey-critical software

Proceedings of the 1999 annual ACM SIGAda international conference on Ada

Verification and validation of object-oriented artifacts throughout the simulation model development life cycle

Proceedings of the 32nd conference on Winter simulation

Synthesizing Coordination Requirements for Heterogeneous Autonomous Agents

Autonomous Agents and Multi-Agent Systems

Synthesis of Behavioral Models from Scenarios

IEEE Transactions on Software Engineering

Developing Sequence Diagrams in UML

ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling

Classification and trend analysis of UML books (1997---2009)

Software and Systems Modeling (SoSyM)