Course Notes

• Distributed Systems
• Linked Data and Semantic Web
• Model Driven Engineering
• Software Evolution
• Software Management
• Service-Oriented Architecture with Web Services
• Software Testing and Risk Assessment
• LTL / CTL Translation Guide
• System Validation
• NuSMV Modelling Guide