G. Engels, J. Küster, R. Heckel, and M. Lohmann. Electr. Notes Theor. Comput. Sci., (2003)MR: UML-Modell (On the high level, our system model is composed of use case diagrams and sequence diagrams describing the interaction of the system with users of the system. On the low level, it is composed of class diagrams, statecharts and activity diagrams.) wird durch Grapftransformationen in eine formale Sprache (CSP) überführt und mit einem Model-Checker validiert und in ein Testmodell überführt..
G. Engels, R. Heckel, and J. Malte Küster. Proc. Int'l Conf. UML - The Unified Modeling Language, 2185, Springer-Verlag, Toronto, Canada.(October 2001)
G. Engels, R. Heckel, and J. Malte Küster. Proc. Int'l Conf. UML - The Unified Modeling Language, 2185, Springer-Verlag, Toronto, Canada.(October 2001)
G. Engels, R. Heckel, and J. Malte Küster. Proc. Int'l Conf. UML - The Unified Modeling Language, 2185, Springer-Verlag, Toronto, Canada.(October 2001)