Software Analysis and Transformation
SWAT studies software systems: their design, their construction, and their inevitable evolution. Our mission is to learn to understand software systems and to improve their quality. We focus on complexity as the primary quality attribute of software systems.
Share this page
SWAT studies software systems: their design, construction and evolution. Our mission is to learn to understand software systems and to improve their quality. In particular, we study the causes of software complexity – a major cause of technology failure in society – and investigate how complex systems can be made simpler and more reliable. We analyze and visualize software systems, transforming them into better versions of themselves. We also generate new software with the goal of simplifying it through automation and abstraction. We keep our feet on the ground by working with corporate IT departments on streamlining their software systems and making them more reliable. Putting our ideas into practice is the best way to ensure they work.
News
All newsNWO Gravitation: 21.5 million euros for 'Challenges in Cyber Security'
Read more
Solving the bank: lightweight specification and verification techniques for enterprise software
Read more
Most Influential Paper Award of ACM SIGPLAN SLE conference for Tijs van der Storm and others
Read more
Break the Code? Breaking Changes and Their Impact on Software Evolution
Read more
Current projects with external funding
- Financing Sustainable Research Software (None)
