Welcome to SET, the Software Engineering & Technology group of the Department of Mathematics & Computer Science, Eindhoven University of Technology.

• Quantitative Analysis of Model Transformations
• MSc projects InfoSupport
• Software Metrics Validation using Version Control
• Software Maintainability Assessment Framework
• Code Mining in C/C++
• Static Detection of Cyclic Data Structures in C
• Software Artifacts Description Format
• Opportunities in Model Driven Software Engineering at Ericsson
• Term rewriting using tree automata
• Afstudeerproject
• Afstudeermogelijkheid bij Centric rond onderwerp Model Driven Development
• Conversie van RPG code naar AOP in de Thinkwise Software Factory
• Extending SGLR with Unicode
• Code convention checker

SET's overall objective is the creation of methods and supporting tools for development and maintenance of reliable software. In order to master complexity and to enable verification and validation the methods have to be formal. To be cost effective, the methods have to be generic and support reuse and composition of designs, verifications and code. To be able to apply the methods to projects on a realistic scale, the methods have to be supported by a well-integrated set of tools.

The research of Software Engineering & Technology group is on software engineering in general, but with a strong focus on theory, methods and tools for maintaining consistency between models and code. SET has the following research themes:

• Theory, methods and tools for model-driven software engineering. Topics addressed in this theme are:
• generation of code from models
• reconstruction of models from code
• analysis and transformation of models and code;
• Verified software engineering. Topics addressed in this theme are:
• integration of specification language and programming language
• consistent incremental development of specifications and code
• correctness by design
• static and dynamic assertion checking; 
• Computing science education:
• PEACH