Kritikus architektúrák laboratórium - Segédanyagok

Félév: 2018. tavasz
Cím Egyedi szöveg
Követelmények
1. Kiberfizikai rendszerek SAT alapú erőforrás allokációja
2. Domain-specifikus nyelvek automatikus elemzése
3. Megbízhatósági modellezés

A Möbius futtatásához Window alatt szükség lehet az OpenSSL dll-ekre, 64 bites operációs rendszer alatt a 64 bites dll-eket a System32, a 32 bites dll-eket a SYSWOW64 mappába kell tenni.

4. Programverifikáció I: korlátos modellellenőrzés

Formális módszerek tárgy diasora korlátos modellellenőrzés témában.

5. Programverifikáció II: predikátumabsztrakció

Formális módszerek tárgy diasora CEGAR témában.

6. Elosztott adatbázis-kezelők I
7. Elosztott adatbázis-kezelők II

Redis clustering tutorial

Ezen a laboron nincsenek különösebb elméleti nehézségek, ezért nem lesz beugró. Haladjatok az önlabbal/diplomatervvel!

8. Infrastruktúra adatelemzés
Félév: 2017. tavasz
Cím Egyedi szöveg
1. Bevezető laboratórium
2. Programverifikáció I: korlátos modellellenőrzés

Kérjük ismételjétek át a Formális módszerek tárgy diasorát korlátos modellellenőrzés témában

3. Programverifikáció II: predikátumabsztrakció

Formális módszerek tárgy diasora CEGAR témában

4. NoSQL alapú elosztott adatbázisok vizsgálata
5. Domain-specifikus nyelvek automatikus elemzése
6. Kiberfizikai rendszerek SAT alapú erőforrás allokációja
7. Megbízhatósági modellezés
8. Infrastruktúra adatelemzés
9. Redis clustering

Redis clustering tutorial

A laboron nem lesz beugró. Haladjatok az önlabbal/diplomatervvel!

Félév: 2016. tavasz
Cím Egyedi szöveg
1. Bevezető laboratórium
2. Domain-specifikus nyelvek automatikus elemzése
3. Kiberfizikai rendszerek SAT alapú erőforrás allokációja

Alloy mirror

4. Infrastruktúra elemzés
5. Megbízhatósági modellezés
6. Feladatátvételi fürtök
7. NoSQL alapú elosztott adatbázisok vizsgálata
Tartalom átvétel