A pattern based approach to defining the dynamic infrastructure of UML 2.0.
暂无分享,去创建一个
Laurence Tratt | Biju K. Appukuttan | Andy Evans | Anthony Clark | Girish Maskeri | Paul Sammut | James Willans | A. Evans | L. Tratt | Girish Maskeri | P. Sammut | J. Willans | A. Clark
[1] C. Petri. Kommunikation mit Automaten , 1962 .
[2] Ivar Jacobson,et al. The unified modeling language reference manual , 2010 .
[3] Anneke Kleppe,et al. A Study in Dynamic Aspects of the pUML 00 Meta Modelling Approach to the Rearchitecting of UML , 2001 .
[4] Ralph Johnson,et al. design patterns elements of reusable object oriented software , 2019 .
[5] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[6] Andy Evans,et al. An Action Semantics for MML , 2001, UML.
[7] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[8] Anneke Kleppe,et al. Unification of Static and Dynamic Semantics of UML , 2001 .
[9] Kai Engelhardt,et al. Data Refinement: Model-Oriented Proof Methods and their Comparison , 1998 .