Considerations and Rationale for a UML System Model
暂无分享,去创建一个
Manfred Broy | Bernhard Rumpe | María Victoria Cengarle | Hans Grönniger | M. V. Cengarle | M. Broy | Hans Grönniger | Bernhard Rumpe
[1] Martin Gogolla,et al. An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation , 2002, IFM.
[2] Takeaki Uno,et al. Contradiction Finding and Minimal Recovery for UML Class Diagrams , 2006, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06).
[3] Gregor Engels,et al. Analysis of UML Activities Using Dynamic Meta Modeling , 2007, FMOODS.
[4] Bernhard Rumpe,et al. Formale Methodik des Entwurfs verteilter objektorientierter Systeme , 1996, Datenbank Rundbr..
[5] Arend Rensink. Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings , 2009, ECMDA-FA.
[6] Bernhard Rumpe,et al. Meta-Modelling Semantics of UML , 2014, Behavioral Specifications of Businesses and Systems.
[7] Mira Balaban,et al. Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets , 2007, ECMDA-FA.
[8] Bernhard Rumpe,et al. Towards a Formalization of the Unified Modeling Language , 1997, ECOOP.
[9] G. Winskel. The formal semantics of programming languages , 1993 .
[10] Colin F. Snook,et al. UML-B: Formal modeling and design aided by UML , 2006, TSEM.
[11] Walter Guttmann,et al. An ASM Semantics of Token Flow in UML 2 Activity Diagrams , 2006, Ershov Memorial Conference.
[12] Bertrand Meyer,et al. Object-Oriented Software Construction, 2nd Edition , 1997 .
[13] Alexander Knapp,et al. UML 2 . 0 Interactions : Semantics and Refinement , 2004 .
[14] Amir Pnueli,et al. Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML , 2002, FMCO.
[15] Bernhard Rumpe,et al. Hybrid System Model , 1999 .
[16] Bernhard Rumpe,et al. Meaningful modeling: what's the semantics of "semantics"? , 2004, Computer.
[17] Harald Störrle,et al. Towards a Formal Semantics of UML 2.0 Activities , 2005, Software Engineering.
[18] J. Bruel. Transforming UML Models to Formal Speci cations , 1998 .
[19] Manfred Broy,et al. Semantics of UML: Towards a System Model for UML -- The Control Model , 2007 .
[20] Xiaoshan Li. A characterization of UML diagrams and their consistency , 2006, 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06).
[21] Kevin Lano,et al. A compositional semantics of UML-RSDS , 2009, Software & Systems Modeling.
[22] Ketil Stølen,et al. STAIRS towards formal design with sequence diagrams , 2005, Software & Systems Modeling.
[23] Joanne M. Atlee,et al. Semantic variations among UML statemachines , 2006, MoDELS'06.
[24] Greg O'Keefe,et al. Dynamic Logic Semantics for UML Consistency , 2006, ECMDA-FA.
[25] Frank S. de Boer,et al. Compositional Operational Semantics of a UML-Kernel-Model Language , 2006, Electron. Notes Theor. Comput. Sci..
[26] Quan Long,et al. Model Checking Dynamic UML Consistency , 2006, ICFEM.
[27] Bernhard Rumpe,et al. An Algebraic View on the Semantics of Model Composition , 2007, ECMDA-FA.
[28] Michael von der Beeck. A structured operational semantics for UML-statecharts , 2002 .
[29] Toni Mancini,et al. Finite Model Reasoning on UML Class Diagrams Via Constraint Programming , 2007, AI*IA.
[30] Bernhard Rumpe,et al. MontiCore: Modular Development of Textual Domain Specific Languages , 2008, TOOLS.
[31] Bernhard Rumpe,et al. The UML as a formal modeling notation , 1998, Comput. Stand. Interfaces.
[32] Gernot Salzer,et al. Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints , 2007, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).
[33] Bernhard Rumpe,et al. Systems, Views and Models of UML , 2014, UML Workshop.
[34] Michelle L. Crane,et al. Towards a Formal Account of a Foundational Subset for Executable UML Models , 2008, MoDELS.
[35] Tobias Nipkow,et al. Isabelle/HOL , 2002, Lecture Notes in Computer Science.