Educational web pages of J.F. Groote

Courses in 2012-2013

• 2IW60 Software system engineering.
• 2IW26 System Validation.
• 0LCB0 Introduction to modelling: Process modelling.

Old pages

• OOTI Course System Validation.
• 2IW26 System Validation.
• 2IW60 Software system engineering.
• 2IT15 Automata and process theory.
• 2IW26 System Validation.
• 2IW60 Software system engineering.
• 2IT19 Formele talen en beslisbaarheid.
• 2IW25 Requirement Analysis, Design and Verification (RADV)
• 2IW25 Requirement Analysis, Design and Verification (RADV)
• 2IW60 Software system engineering.
• 2IW25 Requirement Analysis, Design and Verification (RADV)
• 2IO35 Design-based learning 2.2 (software specification).
• 2IW20 Requirement Analysis, Design and Verification (RADV)
• 2IW20 Requirement Analysis, Design and Verification (RADV)
• 2IW20 Requirement Analysis, Design and Verification (RADV)
• 2IW20 Requirement Analysis, Design and Verification (RADV)
• 2R660 OGO2.1 Het ontwerp van een dienstregeling voor de NS
• 2R770 Ontwerp en analyse van embedded systemen (2002-2003)
• 2R660 OGO2.1 Het decoderen van geheimschrift (2002-2003)
• 2R460 Verificatie en testen (2002-2003)
• 2R770 Ontwerp en analyse van embedded systemen (2001-2002)
• 2R660 OGO2.1 Positionering van proteinen (2001-2002)