Executable Requirements Specifications Using Triggered Message Sequence Charts
暂无分享,去创建一个
[1] Tao Wang,et al. Symbolic Execution of Behavioral Requirements , 2004, PADL.
[2] Gordon D. Plotkin,et al. A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..
[3] Rance Cleaveland,et al. Triggered Message Sequence Charts , 2006, IEEE Trans. Software Eng..
[4] Sebastián Uchitel,et al. LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios , 2003, TACAS.
[5] Rance Cleaveland,et al. TRIM: A Tool for Triggered Message Sequence Charts , 2003, CAV.
[6] Michel A. Reniers,et al. Message sequence chart : syntax and semantics , 1999 .
[7] David Harel,et al. LSCs: Breathing Life into Message Sequence Charts , 1999, Formal Methods Syst. Des..
[8] Matthew Hennessy,et al. Algebraic theory of processes , 1988, MIT Press series in the foundations of computing.
[9] Rance Cleaveland,et al. The NCSU Concurrency Workbench , 1996, CAV.
[10] Rajeev Alur,et al. An Analyser for Mesage Sequence Charts , 1996, TACAS.
[11] David Harel,et al. Specifying and executing behavioral requirements: the play-in/play-out approach , 2003, Software & Systems Modeling.
[12] Ingolf Krüger,et al. Distributed system design with message sequence charts , 2000 .
[13] Hanêne Ben-Abdallah,et al. MESA: Support for Scenario-Based Design of Concurrent Systems , 1998, TACAS.
[14] Rance Cleaveland,et al. Refinement-based requirements modeling using triggered message sequence charts , 2003, Proceedings. 11th IEEE International Requirements Engineering Conference, 2003..