Using modern mathematics as an fosd modeling language
D Batory - Proceedings of the 7th international conference on …, 2008 - dl.acm.org
Modeling languages are a fundamental part of automated software development. MDD, for
example, uses UML class diagrams and state machines as languages to define …
example, uses UML class diagrams and state machines as languages to define …