In this second article, we describe the elements of Executable and Translatable UML (xtUML, or just Executable UML) [1], how actions enable description of behavior at a higher level of abstraction, ...

In-Depth From UML to Design by Contract By Christine Mingins, Yu Liu April 1, 2001 A trustworthy, reusable component will clearly advertise the set of services it provides in its interface. More ...

The basic tools we have proposed that the SoC hardware developer use to simplify his job—UML models, metamodels, and transformations to text—all fit into a larger context. The Object Management ...