Statechart DNA
暂无分享,去创建一个
[1] Ivar Jacobson,et al. The Unified Modeling Language User Guide , 1998, J. Database Manag..
[2] Ivar Jacobson,et al. Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series) , 2005 .
[3] Albert Hoogewijs,et al. SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts , 2006, WADT.
[4] Vivek Sarkar,et al. Location Consistency-A New Memory Model and Cache Consistency Protocol , 2000, IEEE Trans. Computers.
[5] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[6] Albert Hoogewijs,et al. Scenario-Based Analysis of Statechart Construction , 2006 .
[7] Anneke Kleppe,et al. The Object Constraint Language: Getting Your Models Ready for MDA , 2003 .
[8] Albert Hoogewijs,et al. UML based Verification of Software , 2004 .
[9] T.M. Duffy,et al. Scenario-Based Design: Envisioning Work and Technology in System Development [Book Review] , 1996, IEEE Transactions on Professional Communication.
[10] Jiro Tanaka,et al. Synthesizing statecharts from multiple interrelated scenarios , 2002 .
[11] Jeremy Manson,et al. JSR-133: Java Memory Model and Thread Specification , 2003 .
[12] Peter Linz,et al. An Introduction to Formal Languages and Automata , 1997 .
[13] David Harel,et al. The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version , 2004, SoftSpez Final Report.
[14] Peter Linz,et al. An Introduction to Formal Languages and Automata , 2011 .
[15] Johann Schumann,et al. Generating statechart designs from scenarios , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
[16] Erkki Mäkinen,et al. An Interactive Approach for Synthesizing UML Statechart Diagrams from Sequence Diagrams , 2000, OOPSLA 2000.
[17] Reginald L. Hobbs. Using A Scenario Specification Language to Add Context to Design Patterns , 2004, SEKE.
[18] B. De Leeuw,et al. Formal management of object behavior with statechart DNA , 2007, AFRICON 2007.