Development of an MSC/UML Test Heymer): Proc. FBT'2000 -Formale Beschreibungstechniken für verteilte Systeme, Shaker Verlaghtml) [Et01a] European Telecommunications Standards Institute (ETSI): Methods for Testing and Specification (MTS); The Tree and Tabular Combined Notation version 3, Part, vol.3, p.3, 2000. ,
JUnit++ Testing Tool, Dr. Dobb's Journal, 2001. ,
Information Technology -Open Systems Interconnection -Conformance Testing Methodology and Framework -Part 1: General Concepts, ISO/IEC International Standard 9646. 1992. [Is92b] ISO/IEC: Information Technology -Open Systems Interconnection -Conformance Testing Methodology and Framework -Part 3: The Tree and Tabular Combined Notation (TTCN). ISO/IEC International Standard 9646, Proc. SAM'98: 1 st conference onIt00] Iternational Telecommunications Union ? Telecommunications Sector (ITU-T): Message Sequence Chart (MSC). ITU-T Recommendation Z, 1992. ,
Pennaneac'h, F: Validating Distributed Software Modelled with UML, Proc. Int. Workshop UML98, 1998. ,
Pomsets for Message Sequence Charts, Proc. SAM'98: 1 st conference on SDL and MSC, 1998. ,
A Formal Semantics for UML Interactions, Proc. UML'99, 1999. ,
DOI : 10.1007/3-540-46852-8_9
On Interprocess Communication, Distributed Computing 1, 1986. ,
Interpreting Message Flow Graphs In Formal Aspects of Computing Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces, Proc. MFCS'99Om01] Object Management Group (OMG): Unified Modelling Language Specification, version 1.4. OMG Draft StandardUML_1.4_RTF.html) [Ra01] Rational Software: Component Testing with Rational Quality Architect. White paper, Rational Software, 1995. ,