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