Synthesizing ROOM Models from Message Sequence Chart Specifications
暂无分享,去创建一个
[1] Kai Koskimies,et al. Automated Support for Modeling OO Software , 1998, IEEE Softw..
[2] Paul Clements,et al. Software architecture in practice , 1999, SEI series in software engineering.
[3] Bran Selic,et al. Using UML for Modeling Complex Real-Time Systems , 1998, LCTES.
[4] William E. Lorensen,et al. Object-Oriented Modeling and Design , 1991, TOOLS.
[5] R. J. A. Buhr,et al. Use Case Maps for Object-Oriented Systems , 1995 .
[6] K. Koskimies,et al. On the Role of Scenarios in Object-oriented Software Design on the Role of Scenarios in Object-oriented Software Design on the Role of Scenarios in Object-oriented Software Design , 1996 .
[7] Paul Pettersson,et al. Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II , 1998, TACAS.
[8] Gerard J. Holzmann,et al. Early Fault Detection Tools , 1996, Softw. Concepts Tools.
[9] Jean G. Vaucher,et al. From scenarios to timed automata: building specifications from users requirements , 1995, Proceedings 1995 Asia Pacific Software Engineering Conference.
[10] Peter B. Ladkin,et al. Four issues concerning the semantics of Message Flow Graphs , 1994, FORTE.
[11] Anders Olsen,et al. Systems Engineering Using SDL-92 , 1994 .
[12] Hanêne Ben-Abdallah,et al. Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts , 1997, TACAS.
[13] Hanêne Ben-Abdallah,et al. MESA: Support for Scenario-Based Design of Concurrent Systems , 1998, TACAS.
[14] Masaki Itoh,et al. SDE: Incremental Specification and Development of Communications Software , 1991, IEEE Trans. Computers.
[15] Hanêne Ben-Abdallah,et al. Timing Constraints in Message Sequence Chart Specifications , 1997, FORTE.
[16] Ivar Jacobson,et al. Object-oriented software engineering - a use case driven approach , 1993, TOOLS.
[17] Rajeev Alur,et al. An Analyser for Mesage Sequence Charts , 1996, TACAS.