Research

The Software Practices Laboratory (SPLab) is a research group devoted to the investigation and development of well-founded theory, methods, techniques and tools targeted at the practice of Software Engineering. The laboratory, previously named Formal Methods Group and Petri Nets Group, was founded in 1994. Since then a number of research projects have been conducted in cooperation with academic and industrial partners. The main research areas currently investigated are:

• Formal Methods
• Model-Driven Development
• Software Engineering Education
• Software Evolution
• Software Productivity
• Verification, Validation and Testing