The action semantics for the UML support precise executable specifications of systems and enable the translation of models into one of several possible designs.

HOORA describes a pragmatic way of using UML. It defines several consistent views to be created while modeling: static model, dynamic model, package summary. By E2S nv.

A tutorial on Textual Analysis for software development using UML tool.

Draft of a book that attempts to provide a methodology to use Unified Modeling Language in software systems development.