II/2/1 Course Descriptions
The courses currently offered are:
- II/2/1/1 Formal Software Specification Using RAISE
- II/2/1/2 Duration Calculus: A Logical Approach to Real-Time Systems
- II/2/1/4 Advanced RAISE Course
- II/2/1/5 Software Project Management Course
- II/2/1/6 The B Method Course
- II/2/1/7 Model Checking Course
- II/2/1/8 Course on Foundations of Software Testing
- II/2/1/9 Software Development with UML
- II/2/1/10 Design and Processing of XML Languages
- II/2/1/11 Real-Time Systems: Specification, Verification, Refinement and Schedulability
- II/2/1/12 Programming Concurrent Computer Systems
- II/2/1/13 Security: Principles, Techniques and Verification
- II/2/1/15 Relational Methods of Program Construction and Analysis
- II/2/1/16 The rCOS Method for Component-Based and Model Driven Development
Courses previously offered are:
iistinfo@iist.unu.edu,