暂无分享,去创建一个
[1] Wolfgang Thomas,et al. Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics , 1990 .
[2] Bernhard Rumpe,et al. Meta-Modeling Semantics of UML , 2014, ArXiv.
[3] Claude Caci,et al. Testing object-oriented systems , 2000, SOEN.
[4] Bernhard Rumpe,et al. Meta-Modelling Semantics of UML , 2014, Behavioral Specifications of Businesses and Systems.
[5] Alain Wegmann,et al. From RM-ODP to the Formal Behavior Representation , 2003, OOPSLA 2003.
[6] Angelo Artale,et al. A Descriptive Model , 1997 .
[7] Ivar Jacobson,et al. Unified Modeling Language , 2020, Definitions.
[8] David A. Schmidt,et al. Denotationaisemantics: a methodology for language development , 1986 .
[9] Bernhard Rumpe,et al. A Note on Semantics (with an Emphasis on UML) , 2014, ArXiv.
[10] Jean-Raymond Abrial. A System Development Process with Event-B and the Rodin Platform , 2007, ICFEM.
[11] Martin Gogolla. Unified Modeling Language , 2009, Encyclopedia of Database Systems.
[12] Bouabid El Ouahidi,et al. An UML-Based Meta-Language for the QOS-Aware Enterprise Specification of Open Distributed Systems , 2002, PRO-VE.
[13] Bernhard Rumpe,et al. Agile Modeling with the UML , 2002, RISSEF.
[14] Bernhard Rumpe,et al. Behavioral Specifications of Businesses and Systems , 1999, Behavioral Specifications of Businesses and Systems.
[15] A. Szent-Görgyi. [Value of science]. , 1970, Tanpakushitsu kakusan koso. Protein, nucleic acid, enzyme.
[16] Robert V. Binder,et al. Testing Object-Oriented Systems: Models, Patterns, and Tools , 1999 .
[17] Glenford J. Myers,et al. Art of Software Testing , 1979 .
[18] Bernhard Rumpe,et al. Model-Based Testing of Object-Oriented Systems , 2002, FMCO.
[19] Alain Wegmann,et al. Conceptual modeling of complex systems using an RM-ODP based ontology , 2001, Proceedings Fifth IEEE International Enterprise Distributed Object Computing Conference.
[20] Toby Bloom,et al. Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications , 1997, OOPSLA 1997.
[21] Manfred Broy,et al. 23 – Formal treatment of concurrency and time , 1991 .
[22] Lionel C. Briand,et al. A UML-Based Approach to System Testing , 2001, Software and Systems Modeling.
[23] K Lano,et al. Making Uml Precise , 1998 .
[24] Jos Warmer,et al. The object constraint language , 1998 .
[25] Bernhard Rumpe,et al. Executable Modeling with UML. A Vision or a Nightmare? , 2014, ArXiv.
[26] Mohamed Bouhdadi,et al. Meta-modelling Syntax and Semantics of Structural Concepts for Open Networked Enterprises , 2007, ICCSA.
[27] David Harel,et al. Executable object modeling with statecharts , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.
[28] Anneke Kleppe,et al. The object constraint language: precise modeling with UML , 1998 .
[29] JaatunMartin Gilje,et al. Agile Software Development , 2002, Comput. Sci. Educ..
[30] Bernhard Rumpe,et al. The UML as a formal modeling notation , 1998, Comput. Stand. Interfaces.
[31] Bernhard Rumpe,et al. Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications) , 1998, ECOOP Workshops.
[32] Stuart Kent,et al. A Meta-Model Semantics for Structural Constraints In UML , 1999, Behavioral Specifications of Businesses and Systems.