@inproceedings{Klo2001, Author = {Klose, J. and Lettrari, M.}, Title = {Scenario-based Monitoring and Testing of Real-time UML models}, Year = {2001}, Month = {01}, Editor = {Springer Verlag}, Publisher = {Springer Verlag}, Series = {LNCS}, Booktitle = {UML 2001 - The Unified Modeling Language: Modeling Languages, Concepts, and Tools}, type = {inproceedings}, note = {In this paper it is shown how Sequence Diagrams can be used both for monitoring and testing functional and real-time requirements of an executable UML design. We show how this testing approach can be integrated in an UML-based development process. In addi}, Abstract = {In this paper it is shown how Sequence Diagrams can be used both for monitoring and testing functional and real-time requirements of an executable UML design. We show how this testing approach can be integrated in an UML-based development process. In addition, we will present how a prototype which implements the described monitoring and testing methods is integrated in a well known UML design tool.} } @COMMENT{Bibtex file generated on }