Scenario-Based Monitoring and Testing of Real-Time UML Models
暂无分享,去创建一个
[1] Wolfgang Thomas,et al. Automata on Infinite Objects , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[2] Jochen Klose,et al. An Automata Based Interpretation of Live Sequence Charts , 2001, TACAS.
[3] David Harel,et al. LSCs: Breathing Life into Message Sequence Charts , 1999, Formal Methods Syst. Des..
[4] Johan Lilius,et al. Formalising UML State Machines for Model Checking , 1999, UML.
[5] William J Edwards,et al. Doing Hard Time , 1994 .
[6] A. Jefferson Offutt,et al. Using UML Collaboration Diagrams for Static Checking and Test Generation , 2000, UML.
[7] Ivar Jacobson,et al. The Unified Software Development Process , 1999 .
[8] Diego Latella,et al. Towards a Formal Operational Semantics of UML Statechart Diagrams , 1999, FMOODS.
[9] Rajeev Alur,et al. The Theory of Timed Automata , 1991, REX Workshop.
[10] Ekkart Rudolph,et al. HyperMSCs and Sequence Diagrams for Use Case Modelling and Testing , 2000, UML.