More SWAT

The group studies the following topics

  • Software Analysis

With software analysis, we propose and evaluate methods for observing software both quantitatively and qualitatively.  We automatically extract models of software systems, which can then be simulated, measured, checked and visualized. On the one hand, such analyses may provide insight into specific software systems, which is valuable in itself.  On the other hand, by collecting information about sets of software systems, we may also use software analysis to come to general insights. We work on a variety of increasingly rich models of software systems that would allow increasingly meaningful analyses to be performed.

  • Software Transformation

With software transformation, we propose and evaluate automated methods of construction and maintenance of software systems. Using large-scale automated software renovation we improve software quality by transforming existing systems to better systems. Software transformation and analysis go hand in hand. Automated software analysis is used for checking preconditions of automated software transformations such as refactoring.

  • Software Generation:

With software generation, the goal is to simplify software by automation and abstraction.  Using the construction of domain-specific languages we improve the quality of newly designed systems by carefully constructing  automated but reconfigurable transformations from high-level domain concepts to high-quality source code. The questions are which domain specific languages should be defined, and how to implement them effectively.

Teaching:

SWAT is heavily involved in the Master Software Engineering. This successful research master covers a big part of the SWEBOK. It is a collaboration between Universiteit van Amsterdam, Vrije Universiteit, CWI and Hogeschool van Amsterdam. 

SWAT has a strong tradition in building and contributing to open source software.

Teaching:

SWAT is heavily involved in the Master Software Engineering. This successful research master covers a big part of the SWEBOK. It is a collaboration between Universiteit van Amsterdam, Vrije Universiteit, CWI and Hogeschool van Amsterdam. 

Publications: 

Partners: 

  • SWAT is closely collaborating with INRIA Lille Nord Europe, in the form of an INRIA-funded project called ATEAMS
  • The Software Improvement Group is a spin-off from SWAT (previously known as SEN1)
  • Please find an enumeration of all companies and institutes that we collaborate with here.
  • Each project page (below) also describes the project's partners.

Projects: 

Former members: 

  • SWAT: Bas Basten, Arnold Lankamp, Arie van Deursen, Ralf Lämmel, Jan Heering, Mark van den Brand, Rob Economopoulos, Gerco Ballintijn, Slinger Jansen (Roijackers), Merijn de Jonge, Joost Visser, Tobias Kuipers, Leon Moonen, Hayco de Jong, Pieter Olivier, Jørgen Iversen, Jeroen Scheerder, Magiel Bruntink, Taeke Kooiker, Jan Rekers, Emma van der Meulen, Paul Hendriks, Pum Walters, Hans van Dijk, Jasper Kamperman, Frank Tip, Huub Bakker, Job Ganzevoort, Niek van Diepen, T.B. Dinesh, Anton Eliens, Ed Kuijpers, Yaroslav Usenko, Anthony Cleve, Fabian Battaglini, Yanjing Wang, Lakshmanan Kuppusami, Chris Kruszynski, Lei Liu, Mike Godfrey (guest), Mark Hills, Vadim Zaytsev, Anya Helene Bagge (guest), Paul Griffioen, Atze van der Ploeg, Cleverton Heintz (guest), Oscar Nierstrasz (guest).
  • SEN2: Wan Fokkink, Jaco van de Pol, Jens Calame, Francien Dechesne, Jan Friso Groote, Taolue Chen, 
    (SEN2 has a long history before merging with SEN1 (SWAT) which is not mentioned here.)
  • Universiteit van Amsterdam: Wilco Koorn, Casper Dik, Paul Vriend, Eelco Visser, Susan Üsküdarlı, Freek Wiedijk.