II/2/1 Course Descriptions

Current courses

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

Previous courses

• II/2/1/3 Design Calculi for Telecommunications

• II/2/1/14 Operational Semantics