Description
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.
Vacancies
No vacancies currently.
News
Nationale ICT Award 2013 for Python and SIG
Programming language Python and company Software Improvement Group (SIG) were awarded a Nationale ICT Award last night. Both winners have their origins at CWI. Python was awarded the COMMIT/ Award for the most valuable product resulting from ICT research that is over ten years old. SIG received the ICT Milieu Award for their application energy profile register.

Software Development Automation Conference 2013
On 29th of May the first Dutch Conference on Software Development Automation (SDA'13) will be held at Centrum Wiskunde & Informatica.

Paul Klint speaking at 'NEMO Kinderlezing'
CWI researcher Paul Kint will be speaking on April 21 at the NEMO ‘Wakker Worden Kinderlezing’ about the creation of the first computers.
CWI researcher Floor Sietsma (20) youngest PhD in the Netherlands
Researcher Floor Sietsma of Centrum Wiskunde & Informatica (CWI) in Amsterdam is the youngest PhD in the recent academic history of the Netherlands.
Members
Associated Members
Publications
-
van Rozen, R.A. (2020). Languages of games and play: A systematic mapping study. ACM Computing Surveys, 53(6). doi:10.1145/3412843
-
van Binsbergen, L.T, Liu, L.-C, van Doesburg, R., & van Engers, T. (2020). eFLINT: a domain-specific language for executable norm specifications. In Proceedings of the ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. doi:10.1145/3425898.3426958
-
Soethout, T.M, van der Storm, T, & Vinju, J.J. (2020). Automated Validation of State-Based Client-Centric Isolation with TLA+. In Proceedings SEFM 2020. doi:10.1007/978-3-030-67220-1_4
-
van Binsbergen, L.T, Scott, E, & Johnstone, A. (2020). Purely functional GLL parsing. Journal of Computer Languages, 58. doi:10.1016/j.cola.2020.100945
-
Leduc, M, Degueule, T.F, van Wyk, E, & Combemale, B. (2019). The software Language Extension Problem. Software and Systems Modeling. doi:10.1007/s10270-019-00772-7
-
Stoel, J, van der Storm, T, & Vinju, J.J. (2019). AlleAlle: Bounded relational model finding with unbounded data. In Onward! 2019 - Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, co-located with SPLASH 2019 (pp. 46–61). doi:10.1145/3359591.3359726
-
Klint, P, van der Storm, T, & Vinju, J.J. (2019). Rascal, 10 years later. In Proceedings of the International Working Conference on Source Code Analysis and Manipulation (pp. 139–139). doi:10.1109/SCAM.2019.00023
-
van Rozen, R.A, & van der Storm, T. (2019). Toward Live Domain-Specific Languages: From Text Differencing to Adapting Models at Run Time. Software and Systems Modeling. doi:10.1007/s10270-017-0608-7
-
Bezirgiannis, N, de Boer, F.S, Johnsen, E.B, Pun, V.K.I, & Tapia Tarifa, S.L. (2019). Implementing SOS with active objects: A case study of a multicore memory system. In FASE 2019: Fundamental Approaches to Software Engineering (pp. 332–350). doi:10.1007/978-3-030-16722-6_20
-
van Binsbergen, L.T. (2019, April). Executable Formal Specification of Programming Languages with Reusable Components.
Software
Rascal: one-stop shop for metaprogramming
Rascal is a general metaprogramming language, facilitating programmers in analyzing, transforming and generating source code.
Rebel: A domain-specific language for product development in finance
Rebel is a domain-specific language (DSL) targeted at the financial sector.
SAGA: A run-time verifier for Java programs
SAGA is a run-time verifier for single-threaded as well as multi-threaded Java programs.
Current projects with external funding
-
Enterprise software engineering ()
Related partners
-
ING Bank