Képzés: ELTE IK Proginf MSc, Szoftvertechnológia szakirány (kezdés éve: 2023)
Tárgy neve: Osztott rendszerek specifikációja és implementációja
Tárgy kódja: IPM-22sztORSIE
Az alábbi tételkidolgozások Fenyvesi Róbert, Szalay Richárd és woli jegyzetei alapján készültek, amik pedig Horváth Zoltán, Tejfel Máté előadásai és Horpácsi Dániel, Lukács Dániel és Tejfel Máté gyakorlatai alapján készültek. Felhasználásra került még Horváth Zoltán Bevezetés a programozásba, III. rész: Párhuzamos és elosztott programozás című műve, amely csak korlátozott segítséget nyújtott a benne található és tudatosan ki nem javított hibák gyakorisága miatt.
Minden tételhez egy külön dokumentum tartozik:
- Feladat definíciója
- Program definíciója
- Programtulajdonságok definíciói, a rájuk vonatkozó szabályok
- Megoldás definíciója
- FORK (elágazás)
- MUX (multiplexer)
- Variáns függvény tétel, fixpont finomítás tétele
- Adatcsatorna tétel
- Unió definíció + viselkedési tulajdonságok
A kidolgozások nincsenek lektorálva.