Topics

Topics include but are not restricted to:

• Theoretical foundations with a focus on lightweight Formal Methods
• Formal models for agile methodologies
• Formal methods and XP, DSDM, etc.
• Specification and modelling techniques
• Reasoning about changing models
• Verification with focus on changing requirements
• Model checking with focus on changing requirements
• Testing with focus on changing requirements
• Testing from lightweight formal methods
• Design for test
• Practical use and case studies from industrial practice
• Models of system transformation
• Models of emergent behaviour and intelligent agents
• Models for mobile systems
• Formal methods and team work
• Formal methods in education
• Tool support