Kritikus architektúrák laboratórium - Segédanyagok
| Title | Egyedi szöveg |
|---|---|
| 7. Elosztott adatbázis-kezelők II |
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 |
| Title | 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 |
A laboron nem lesz beugró. Haladjatok az önlabbal/diplomatervvel! |
| Title | 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 | |
| 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 | |
| 8. Programverifikáció |
Formális módszerek tárgy diasora korlátos modellellenőrzés témában |
| 9. Automatikus tesztfuttatás |
