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.
News
Jurgen Vinju appointed professor at Eindhoven University of Technology
Starting 1 September 2014, Jurgen Vinju of the Centrum Wiskunde & Informatica (CWI) in Amsterdam is appointed Professor Automated Software Analysis
Who's afraid of Object Algebras?
Object algebras are a simple technique that solves a long-standing problem of extensibility in programming languages, called the expression problem. CWI-researcher Tijs van der Storm presented the technique at Joy of Coding 2014
Valedictory speech 'The Software Revolution' by Paul Klint
On 22 January 2014 Paul Klint, research fellow at CWI and professor Software Engineering at the University of Amsterdam, will retire to the position of emeritus professor. The title of his valedictory speech is 'The Software Revolution'.
PhD research leads to innovation in digital forensics software
In forensics the analysis of digital data faces major challenges. The volume is growing exponentially and there is a wide variety of devices and formats. Jeroen van den Bos, PhD student at the Centrum Wiskunde & Informatica (CWI) in Amsterdam and software engineer at the Netherlands Forensic Institute (NFI), developed a new approach to develop flexible, automated digital forensics software.
Current events
SEN Symposium
- 2020-01-31T09:30:00+01:00
- 2020-01-31T18:00:00+01:00
SEN Symposium
Start: 2020-01-31 09:30:00+01:00 End: 2020-01-31 18:00:00+01:00
The sixth Dutch national symposium on software engineering (SEN) will be held on Friday 31 January 2020 at CWI in Amsterdam. After the success of the SEN Symposium of 2014, 2016, 2017, 2018, and 2019, we cordially invite you to the sixth edition.
At this conference we bring together the Dutch software engineering community. The program will feature invited presentations, contributed “lightning talks” and will include plenty of time for discussions and networking.
We expect to offer talks by the following invited speakers:
- Wil van der Aalst, RWTH Aachen University
- Vasilios Andrikopoulos, RUG
- Dino Distefano, Facebook
- Veelasha Moonsamy, RU
- Alexandra Silva, University College London
- Jan van Zoest, Royal Philips
The SEN Symposium is organized by VERSEN:
Organising committee
- Yanja Dajsuren, TU/e
- Jorge Pérez, RUG
- Wouter Swierstra, UU
- Tijs van der Storm, CWI and RUG
Attendance is free of charge, but please register here.
- Web
- Email: Femke Harms
-
iCal
Members
Associated Members
Publications
-
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. 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, 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
-
Ochoa, L.M, González-Rojas, O, Cardozo, N, González, A, Chavarriaga, J, Casallas, R, & Díaz, J.F. (2019). Constraint programming heuristics for configuring optimal products in multi product lines. Information Sciences, 474, 33–47. doi:10.1016/j.ins.2018.09.042
-
Aarssen, R.T.A, Vinju, J.J, & van der Storm, T. (2019). Concrete syntax with black box parsers. The Art, Science, and Engineering of Programming, 3(3). doi:10.22152/programming-journal.org/2019/3/15
-
Inostroza Valdera, P.A. (2018, November 29). Structuring languages as object-oriented libraries. Institute for Programming research and Algorithmics Dissertation Series.
-
Leduc, M, Degueule, T.F, & Combemale, B. (2018). Modular language composition for the masses. In Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering SLE-2018, co-located with SPLASH 2018 (pp. 47–59). doi:10.1145/3276604.3276622
-
Ju, F, & van Eijck, D.J.N. (2018). A temporal dynamic deontic logic. Journal of Logic and Computation, 29(2), 265–284. doi:10.1093/logcom/exy008
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
-
Developer-Centric Knowledge Mining from Large Open-Source Repositories (CROSSMINER)
-
Model Extraction for Re-engineering Traditional Software (MERITS)
-
Polyglot and Hybrid Persistence Architectures for Big Data Analytics (TYPHON)
Related partners
-
ING Bank
-
Universita Degli Studi Dell'Qquila
-
University of York
-
Alpha Bank Anonymos Etairia
-
Institut für Angewandte Systemtechnik Bremen
-
Zorgios Ioannis
-
Edge Hill University
-
GMV Aerospace and Defence SA
-
Universite de Namur ASBL
-
Nea Odos Anonymi Eteria Parahorisis
-
SWAT.Engineering
-
X/Open Company Limited
-
Volkswagen AG