MAS - an interactive synthesizer to support behavioral modeling in UML
暂无分享,去创建一个
[1] Hideto Tomabechi,et al. Automatic Synthesis of State Machines from Trace Diagrams , 1994, Softw. Pract. Exp..
[2] David Chenho Kung,et al. Formal approach to scenario analysis , 1994, IEEE Software.
[3] Ismaïl Khriss,et al. Algorithmic support for model transformation in object‐oriented software development , 2001, Concurr. Comput. Pract. Exp..
[4] Stefan Leue,et al. Synthesizing ROOM Models from Message Sequence Chart Specifications , 1998 .
[5] Jean G. Vaucher,et al. From scenarios to timed automata: building specifications from users requirements , 1995, Proceedings 1995 Asia Pacific Software Engineering Conference.
[6] Tarja Systä,et al. Implementing Minimally Adequate Synthesizer , 2000 .
[7] 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).
[8] Stéphane S. Somé,et al. An Enhancement of Timed Automata generation from Timed Scenarios using Grouped States , 1996 .
[9] Johann Schumann,et al. Generating statechart designs from scenarios , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.