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

Taxonómia kifejezés › Formális módszerek - Segédanyagok › Szolgáltatásbiztonságra tervezés - Segédanyagok ›

formal semantics

Mixed-Semantics Composition of Statecharts for the Component-Based Design of Reactive Systems

  • component-based design
  • composition language
  • formal semantics
  • formal verification
  • statecharts
Graics, B., Molnár, V., Vörös, A., Majzik, I., and Varró, D., "Mixed-Semantics Composition of Statecharts for the Component-Based Design of Reactive Systems", Software and Systems Modeling, vol. 19, issue Interplay of Model-Driven and Component-Based Software Engineering: Springer, 2020.
  • BibTex

{VPM}: A visual, precise and multilevel metamodeling framework for describing mathematical domains and {UML}

  • formal semantics
  • graph transformation
  • metamodeling
  • model transformation
  • refinement
Varró, D., and Pataricza, A., "{VPM}: A visual, precise and multilevel metamodeling framework for describing mathematical domains and {UML}", Journal of Software and Systems Modeling, vol. 2, no. 3: Springer, pp. 187–210, October, 2003.
  • BibTex
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