( en | de | ru )

 

Disambiguation of "Varr'o, D'aniel"

Author of the publication

copydeleteadd this publication to your clipboard
A Formal Semantics of UML Statecharts by Model Transition Systems

. (2002)
DOI: 10.1007/3-540-45832-8_28

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Varr'o, D'aniel
add a person with the name Varr'o, D'aniel
 

Other publications of authors with the same name

The model transformation language of the VIATRA2 framework, and . Science of Computer Programming, 68 (3): 214--234 (October 2007)Towards Testing the Implementation of Graph Transformations, , and . Electronic Notes in Theoretical Computer Science, (April 2008)Automating model transformation by example using inductive logic programming, and . SAC '07: Proceedings of the 2007 ACM symposium on Applied computing, page 978--984. New York, NY, USA, ACM Press, (2007)Automated formal verification of visual modeling languages by model checking. Software and Systems Modeling, V3 (2): 85--113 (May 2004)Towards symbolic analysis of model transformations. (2002)Style-based modeling and refinement of service-oriented architectures, , , and . Software and Systems Modeling, 5 (2): 187--207 (June 2006)Using Graph Transformation for Practical Model-Driven Software Engineering, , , , , and . (2005)Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools, , , , , , , , , and 2 other author(s). (2008)VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics), and . Software and Systems Modeling, V2 (3): 187--210 (October 2003)Designing the automatic transformation of visual languages, , and . Science of Computer Programming, 44 (2): 205--227 (August 2002)