home

Modellalapú Szoftverfejlesztés tárgy wiki oldala

Előadások

1. Előadás: Bevezetés - Miért? Miről? Hogyan? 🗒️diasor🗒️

2. Előadás: Szöveges nyelvek 🗒️diasor🗒️

3. Előadás: Szintaktikai elemzés 🗒️diasor🗒️

4. Előadás: Szemantikai elemzés 🗒️diasor🗒️

5. Előadás: Transzformáció, optimalizálás 🗒️diasor🗒️

6. Előadás: Optimalizálás, obfuszkáció, kódgenerálás 🗒️diasor🗒️

7. Előadás: Grafikus (vizuális) modellezési nyelvek 🗒️diasor🗒️

8. Előadás: Szintaxis és Szemantika 🗒️diasor🗒️

9. Előadás: Modelltranszformáció 🗒️diasor🗒️

10. Előadás: Gráfmintaillesztés, Gráftranszformáció 🗒️diasor🗒️

11. Előadás: Modellalapú fejlesztések 🗒️diasor🗒️

12. Előadás: Modellalapú tesztelés 🗒️diasor🗒️

Gyakorlatok

1. Gyakorlat: Meghívott előadók

• Debreceni Csaba (IncQuery Labs):
  ​ Modellezéssel Budapestről a Marsig, avagy hogyan lehet egy BME spinoff a NASA JPL beszállítója 🗒️diasor🗒️
• Simon Balázs (BME, IIT):​
  Szöveges DSL-ek az iparban – Vasúti biztosítóberendezések és elosztott szolgáltatások 🗒️diasor🗒️
• Theisz Zoltán​ (Thyssenkrupp):
  Modellezés pragmatikus szemléletben 🗒️diasor🗒️

2. Gyakorlat: ANTLR - lexikai és szintaktikai elemzés

• Az ANTLR parser generátor működésének megismerése, a lexikai és szintaktikai elemzés gyakorlati használata.
• Egy kezdetleges, prototípus programozási nyelv (TinyScript) alapjainak elkészítése.
• A gyakorlat anyagai itt találhatók.

3. Gyakorlat: Szöveges DSL-ek IDE támogatása Xcore, Xtext és Xtend segítségével

• Egy állapotgép-leíró DSL-hez metamodell készítése Xcore segítségével.
• Az állapotgép-leíró DSL-hez fordító készítése Xtext segítségével.
• Az állapotgép-leíró DSL-hez kódgenerátor készítése Xtend segítségével.
• A gyakorlat anyagai itt találhatók.

4. Gyakorlat: ANTLR (szemantikai elemzés és kódgenerálás), LLVM, Roslyn

• Szemantikai elemzés és kódgenerálás ANTLR és StringTemplate segítségével.
• LLVM platform megismerése, optimalizáció LLVM segítségével.
• Roslyn - Compiler as a Service (CaaS) architektúra.
• A gyakorlat anyagai itt találhatók.

Számonkérések

1. házi feladat

A feladat az itt található útmutató alapján a StateModel nyelv nyelvtanának elkészítése ANTLR segítségével. Határidő: 2024.03.13. 23:59

2. házi feladat

A feladat az itt található útmutató alapján a StateMachine nyelv kiterjesztése egész típusú mezők támogatásával. Határidő: 2024.03.27. 23:59

3. házi feladat

A feladat két részből áll, itt találhatók. Az ANTLR feladat során egy StringTemplate alapú kódgenerátort kell kiegészíteni, míg az LLVM feladat során egy kapott kódrészletet kell optimalizálni. Határidő: 2024.04.10. 23:59

Minta ZH

Feladatsor Megoldások

Minta Vizsga

Feladatsor

Archív

2023

Előadások Gyakorlatok