( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards symbolic analysis of model transformations

. (2002)

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.

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

Другие публикации лиц с тем же именем

Towards Testing the Implementation of Graph Transformations, , и . Electronic Notes in Theoretical Computer Science, (апреля 2008)The model transformation language of the VIATRA2 framework, и . Science of Computer Programming, 68 (3): 214--234 (октября 2007)Automated formal verification of visual modeling languages by model checking. Software and Systems Modeling, V3 (2): 85--113 (мая 2004)Towards symbolic analysis of model transformations. (2002)Automating model transformation by example using inductive logic programming, и . SAC '07: Proceedings of the 2007 ACM symposium on Applied computing, стр. 978--984. New York, NY, USA, ACM Press, (2007)VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics), и . Software and Systems Modeling, V2 (3): 187--210 (октября 2003)Style-based modeling and refinement of service-oriented architectures, , , и . Software and Systems Modeling, 5 (2): 187--207 (июня 2006)Using Graph Transformation for Practical Model-Driven Software Engineering, , , , , и . (2005)Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools, , , , , , , , , и 2 other автор(ы). (2008)VIATRA - visual automated transformations for formal verification and validation of UML models, , , , , и . Automated Software Engineering, 2002. Proceedings. ASE 2002. 17th IEEE International Conference on, стр. 267--270. (2002)