Contains the keyword static analysis

Ujhelyi Z. Static Type Checking of Model Transformation Programs. In: ICGT'10 Doctoral Symposium. University of Twente, Enschede, The Netherlands: Springer Berlin / Heidelberg; 2010. p. 413-5.
Ujhelyi Z. Modelltranszformációk statikus analízise. In: Tavaszi Szél Konferenciakiadvány. Szeged; 2009. p. 33-9.
Ujhelyi Z, Horváth Á, Varró D. Generic Static Analysis of Transformation Programs. Budapest University of Technology and Economics; 2009.
Ujhelyi Z, Horváth Á, Varró D. Static Type Checking of Model Transformations by Constraint Satisfaction Programming. Budapest University of Technology and Economics; 2009.
Ujhelyi Z. Static Analysis of Model Transformations. Budapest University of Technology and Economics; 2009.
Syndicate content

Languages

  • English
  • Magyar

BME EduID Sign on

Login

User login