Publikációk

Export 31 results:

BibTex

Rendezés: [ Szerző

] Cím Típus Év

Szűrők: A Cím Első Betűje = D [Minden szűrő visszaállítása]

A B C [D] E F G H I J K L M N O P Q R S T U V W X Y Z [MINDENT mutat]

T

Tóth, T., Vörös, A., and Majzik, I., "A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol", Software Engineering for Resilient Systems, vol. 9274: Springer International Publishing, pp. 31-45, 09/15, 2015.

BibTex

U

Ujhelyi, Z., Szabó, T., Ráth, I., and Varró, D., "Developing and Visualizing Live Model Queries", 1st Workshop on the Analysis of Model Transformations (AMT) , Innsbruck, Austria, ACM Digital Library, 2012.

BibTex

Ujhelyi, Z., "Def-use Analysis of Model Transformation Programs with Program Slicing", Proceedings of the 18th PhD Minisymposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 46-49, 02/2011.

BibTex

Ujhelyi, Z., Horváth, Á., and Varró, D., "Dynamic Backward Slicing of Model Transformations", International Conference on Software Testing and Validation, 2012, Montreal, Canada, IEEE, 04/2012. Abstract

Acceptance rate: 27%

BibTex

V

Varró, D., Varró, G., and Pataricza, A., "Designing the Automatic Transformation of Visual Languages", Science of Computer Programming, vol. 44, no. 2: Elsevier, pp. 205–227, August, 2002. Abstract

BibTex

Varró, D., and Varró, G., Designing the Automatic Transformation of Visual Languages, , November, 1999.

BibTex