Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models
暂无分享,去创建一个
[1] Eduard Cerny,et al. Semantics and verification of action diagrams with linear timing , 1998, TODE.
[2] Hanêne Ben-Abdallah,et al. Timing Constraints in Message Sequence Chart Specifications , 1997, FORTE.
[3] Sven Burmester,et al. The Fujaba Real-Time Statechart PlugIn , 2003 .
[4] Sebastián Uchitel,et al. A workbench for synthesising behaviour models from scenarios , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
[5] Holger Giese,et al. Towards the compositional verification of real-time UML designs , 2003, ESEC/FSE-11.
[6] Erkki Mäkinen,et al. MAS — an interactive synthesizer to support behavioral modelling in UML , 2001, ICSE.
[7] Rajeev Alur,et al. An Analyzer for Message Sequence Charts , 1996, Softw. Concepts Tools.
[8] Thomas A. Henzinger,et al. Parametric real-time reasoning , 1993, STOC.
[9] Rajeev Alur,et al. An Analyser for Mesage Sequence Charts , 1996, TACAS.
[10] Sebastián Uchitel,et al. Detecting implied scenarios in message sequence chart specifications , 2001, ESEC/FSE-9.
[11] Johann Schumann,et al. Generating statechart designs from scenarios , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
[12] Holger Giese,et al. Towards the Incremental Model Checking of Complex RealTime UML Models , 2003 .
[13] David Harel,et al. Playing with time: on the specification and execution of time-enriched LSCs , 2002, Proceedings. 10th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems.
[14] Jean G. Vaucher,et al. From scenarios to timed automata: building specifications from users requirements , 1995, Proceedings 1995 Asia Pacific Software Engineering Conference.
[15] Johan Lilius,et al. Timing Analysis of UML Sequence Diagrams , 1999, UML.
[16] Satoshi Yamane,et al. The symbolic model-checking for real-time systems , 1996, Proceedings of the Eighth Euromicro Workshop on Real-Time Systems.
[17] Holger Giese. Analysis and synthesis for parameterized timed sequence diagrams , 2004, ICSE 2004.
[18] Manfred Broy,et al. From MSCs to Statecharts , 1998, DIPES.
[19] Rance Cleaveland,et al. Triggered message sequence charts , 2002, SIGSOFT '02/FSE-10.
[20] Guy Lapalme,et al. Implicit integration of scenarios into a reduced timed automaton , 2003, Inf. Softw. Technol..
[21] T. Systa,et al. MAS - an interactive synthesizer to support behavioral modeling in UML , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
[22] Mohammad Reza Mousavi,et al. Synthesizing software architecture descriptions from Message Sequence Chart specifications , 1998, Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239).