论文信息 - Introduction to UML and the Modeling of Embedded Systems - 字舞流文

Introduction to UML and the Modeling of Embedded Systems

Thomas Weigert | Birger Møller-Pedersen | Øystein Haugen | T. Weigert | B. Møller-Pedersen | Øystein Haugen

[1] Ketil Stølen,et al. STAIRS - Steps to Analyze Interactions with Refinement Semantics , 2003, UML.

[2] Thomas Weigert,et al. Specifying Telecommunications Systems with UML , 2003, UML for Real.

[3] Thomas Weigert,et al. Structural Modeling with UML 2.0 , 2003, UML for Real.

[4] Bill Mitchell,et al. Automatic Generation of Conformance Tests from Message Sequence Charts , 2002, SAM.

[5] Loïc Hélouët,et al. Some Pathological Message Sequence Charts, and How to Detect Them , 2001, SDL Forum.

[6] Ivar Jacobson,et al. The unified modeling language reference manual , 2010 .

[7] Gerard J. Holzmann,et al. Formal Methods for Early Fault Detection , 1996, FTRTFT.

[8] Rajeev Alur,et al. An Analyser for Mesage Sequence Charts , 1996, TACAS.

[9] Gerard J. Holzmann,et al. Early Fault Detection Tools , 1996, Softw. Concepts Tools.

[10] R. J. A. Buhr,et al. Use Case Maps for Object-Oriented Systems , 1995 .

[11] M. G. Rodd,et al. Engineering real-time systems , 1995 .

[12] Anders Olsen,et al. Systems Engineering Using SDL-92 , 1994 .

[13] Bran Selic,et al. Real-time object-oriented modeling , 1994, Wiley professional computing.

[14] Derek J. Hatley,et al. Strategies for Real-Time System Specification , 1987 .

[15] Paul Ward,et al. Structured Development for Real-Time Systems , 1986 .