Kritikus architektúrák laboratórium - Segédanyagok

Félév: 2017. tavasz
Cím	Egyedi szöveg
1. Bevezető laboratórium	ca-2017-intro.pdf
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 ca-bounded-model-checking.pdf
3. Programverifikáció II: predikátumabsztrakció	Formális módszerek tárgy diasora CEGAR témában ca-predicate-abstraction.pdf
4. NoSQL alapú elosztott adatbázisok vizsgálata	ca-nosql.pdf Magyar nyelvű jegyzet a quorum konszenzushoz.
5. Domain-specifikus nyelvek automatikus elemzése	ca-dsl-analysis.pdf tasks.pdf 2-dsl-analysis-skeleton.zip Reflektív
6. Kiberfizikai rendszerek SAT alapú erőforrás allokációja	ca-sat.pdf Opcionális kiindulási állapot
7. Megbízhatósági modellezés	ca-dependability.pdf ca-dependability-exercises.pdf
8. Infrastruktúra adatelemzés	infra_data_analysis_syllabus.pdf syllabus_and_assignments.pdf
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	ca-2016-intro.pdf
2. Domain-specifikus nyelvek automatikus elemzése	ca-dsl-analysis.pdf 2-dsl-analysis-skeleton.zip
3. Kiberfizikai rendszerek SAT alapú erőforrás allokációja	Alloy mirror ca-sat.pdf
4. Infrastruktúra elemzés	Mérési segédlet Mérési útmutató és projekt
5. Megbízhatósági modellezés	ca-megbizhatosagi-modellezes-segedlet.pdf ca-megbizhatosagi-modellezes-feladatok.pdf
6. Feladatátvételi fürtök	ca-feladatatveteli-furtok-segedlet.pdf
7. NoSQL alapú elosztott adatbázisok vizsgálata	ca-nosql.pdf
8. Programverifikáció	Formális módszerek tárgy diasora korlátos modellellenőrzés témában ca-program-verification.pdf
9. Automatikus tesztfuttatás	ca-autotest-syllabus.pdf ca-autotest-exercises.pdf

Elsődleges linkek