A UML Profile for Executable and Incremental Specification-Level Modeling.

Risto Pitkänen Petri Selonen

Published in: UML (2004)

Keyphrases

uml profile
modeling language
metamodel
formal specification
control flow
case study
high level
relational databases
life cycle
asynchronous circuits