Kezdőlap
Hibatűrő Rendszerek Kutatócsoport
Méréstechnika és Információs Rendszerek Tanszék
BME Logo

Elsődleges linkek

  • Kezdőlap
  • Események
  • Oktatás
    • Specializációválasztás
    • BSc tárgyak (Új képzés)
    • MSc tárgyak (Új képzés)
    • Önálló munka
    • Választható tárgyak
    • Doktori tárgyak
    • Korábbi tárgyak
  • Kutatás
    • Kutatási területek
    • Alkalmazási területek
    • Projektek
    • Eszközök
    • Publikációk
  • Hallgatóink sikerei
    • Kari TDK eredmények
    • Országos TDK eredmények
  • Magunkról
    • Munkatársak
    • Megközelítés
    • Partnereink
    • IBM Center of Advanced Studies

Primary Links

model transformation

Designing the Automatic Transformation of Visual Languages

  • dependability
  • graph transformation
  • model transformation
  • planner algorithms
  • system verification
  • UML
  • validation
  • verification
  • visual languages
  • XMI
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.
  • BibTex

Automatic Transformation of {UML} Models for System Verification

  • formal verification
  • model transformation
  • UML
Varró, D., Gyapay, S., and Pataricza, A., "Automatic Transformation of {UML} Models for System Verification", WTUML'01: Workshop on Transformations in UML, Genova, Italy, pp. 123–127, April 7th, 2001.
  • BibTex

Mathematical Model Transformation for System Verification

  • graph transformation
  • model transformation
  • system verification
  • UML
Varró, D., and Pataricza, A., Mathematical Model Transformation for System Verification, : Budapest University of Technology and Economics, Dept. of Measurement and Information Systems, June, 2000.
  • BibTex

Ecore to Genmodel case study solution using the Viatra2 framework

  • graph transformation tool contest
  • model transformation
  • Viatra
Hegedüs, Á., Ujhelyi, Z., Bergmann, G., and Horváth, Á., "Ecore to Genmodel case study solution using the Viatra2 framework", Transformation Tool Contest (TTC '10), Malaga, Spain, 07/2010.
PDF: 
application/pdf iconFull text
  • BibTex
  • « első
  • ‹ előző
  • 1
  • 2
Tartalom átvétel

Nyelvek

  • English
  • Magyar
BME Címtár belépés

Belépés

Leírások

  • Dokumentáció és mérési jegyzőkönyvek készítése
  • Házi feladatok és jegyzőkönyvek leadása
  • IT szolgáltatások
  • Egyéb leírások

Navigáció

  • Conference materials

  • Oldaltérkép
  • Megközelítés
  • Levél a webmesternek