Rendszermodellezés HF védés, gyakorlati jelenlét

Aki időben adott le házi feladatot, de az automatikus ellenőrzés során nem fogadtuk azt el, az eljöhet védeni, 
és lehetőséget kap javítani, ha helyben meg tudja mondani, hogyan lehet a hibát kijavítani.
Ez azokra a hallgatókra vonatkozik, akik tiltott elemeket használtak a feladatban, vagy kisebb szintaktikai hibával adták le a modellt.
Ezekben az esetekben a házi feladatra nem kapható maximális pont.

Rendszermodellezés tárgy házi feladat védésekre jelentkezés

Az alábbi linken lehet a házi feladat védésre jelentkezni. A védésen a házi feladattal kapcsolatos kérdésekre kell válaszolni. A védésen ellenőrizzük, hogy a feladatkiírásban kért funkciók meg lettek-e valósítva. Ha nem minden teszt futott le sikeresen, akkor ennek az okát is megvizsgáljuk a védésen.

Rendszermodellezés házi feladat eredmények

A Rendszermodellezés házi feladat eredmények elérhetőek itt. A javítás során az előzetes javítási körökben is alkalmazott értékelést használtuk, tiltott elemek használata esetén a feladatot nem tudtuk elfogadni.  Tovább »

Systemmodellierung 2018: Endgültige Überprüfung der Hausaufgaben

Die Ergebnisse der Überprüfung finden Sie in der beigefügten Datei. Die angegebenen Punktezahlen sind nur für Ihre Orientierung, die Punkte werden nach der mündlichen Verteidigung bestimmt.

(Datei entfernt -- GDPR)

Formális módszerek házi feladat pótbeadás

Formális módszerek tárgyból megnyílt a kötelező házi feladatok pótbeadásának lehetősége. Részletek a tárgy házi feladatok oldalán olvashatók.

Formális módszerek szorgalmi feladat

Formális módszerek tárgyból szorgalmi feladat megoldására lehet jelentkezni 2018. május 12. szombat éjfélig. Részletek a tárgy szorgalmi feladatok oldalán olvashatók.

Rendszermodellezés HF előzetes eredmény változás, 6. gyakorlat pótlás

A Rendszermodellezés tárgy előzetes HF eredményeinél kivettük az "after 0s" használatának büntetését. Ugyanakkor felhívjuk a figyelmet arra, hogy ez valójában egy "bújtatott" always elemnek felel meg, annak minden veszélyével együtt, a szóbeli védésen rákérdezhetünk arra, hogyan lehet az elemet kiváltani.

Systemmodellierung 2018: Zweite vorläufige Überprüfung der Hausaufgaben

Wir haben die bereits abgegebene Hausaufgaben überprüft, die (recht schöne) Ergebnisse finden Sie in der beigefügten Datei. Tovább »

Rendszermodellezés HF ellenőrzés - 05.04

A Rendszermodellezés házi feladat előzetes ellenőrzésének eredményei elérhetőek itt. Felhívjuk a figyelmet, hogy az esemény (trigger) nélküi átmenet tiltott elemnek számít, továbbá ezen probléma "after 0 s" triggerrel való áthidalása sem engedélyezett.

Systemmodellierung 2018: Korrektur zur Spezifikation der Hausaufgaben

Achtung! Wichtige Korrektur zur Spezifikation der Hausaufgaben. Lesen Sie diese Korrektur unbedingt, wenn Ihre Spezifikation sagt, dass bei der Einstellung der Anfangsbedenkzeit ein erfolgloser Änderungsversuch mit einem Piepton signalisiert wird. Tovább »

Tartalom átvétel