Metódy a prostriedky špecifikácie, ak. rok 2011/12

Cvičenia

Cvičenia sú venované práci na projekte. Využite ich na konzultácie. Významnú zložku hodnotenia tvorí prezentácia čiastkových výsledkov na cvičeniach.

Cvičenia prebiehajú v miestnosti TPC.

Plán cvičení:

• Cvičenie 1: realizuje sa v rámci prvej prednášky
• Cvičenie 2: upresnenie rámcového zadania
• Cvičenie 3–5: model prípadov použitia
• Cvičenie 6–7: prezentácia projektov
• Cvičenie 8–10: model štruktúry a správanie systému
• Špecifikácia v jazyku Z
• Cvičenie 11–12: prezentácia projektov