Description
Leader of the group Software Analysis and Transformation: Jurgen Vinju.
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
Postdoc on the subject of hybrid polystore query language design and implementation
TYPHON is an EU H2020 project, which aims at providing an industry-validated methodology and integrated technical offering for designing, developing, querying, evolving, analysing and monitoring scalable hybrid data persistence architectures that will meet the growing scalability and heterogeneity requirements of the European industry. Designing and deploying a hybrid data persistence architecture that involves a combination of relational and NoSQL databases, and which can manage different types of structured and textual data (polystores for conciseness), is a complex, technically challenging, and error-prone task.
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
-
CWI ontwikkelt software die zichzelf beheert - Computable - 17-04-18. (2018). CWI ontwikkelt software die zichzelf beheert - Computable - 17-04-18.
-
van der Storm, T. (2017, October 22). Context-Oriented Language Engineering. Presented at the 9th International Workshop on Context-Oriented Programming. Collocated with ECOOP'17.
-
EIT Digital opent Fintech-innovatiecentrum in Amsterdam - Release - 19-10-2017. (2017). EIT Digital opent Fintech-innovatiecentrum in Amsterdam - Release - 19-10-2017.
-
Landman, D. (2017, October 5). Reverse engineering source code : empirical studies of limitations and opportunities. Institute for Programming research and Algorithmics Dissertation Series.
-
Sofware-renovatie uit broncode mogelijk - bits&chips - 03-10-2017. (2017). Sofware-renovatie uit broncode mogelijk - bits&chips - 03-10-2017.
-
Degueule, T.F, Mayerhofer, T, & Wortmann, A. (2017). Engineering a ROVER language in GEMOC STUDIO & MONTICORE: A comparison of language reuse support. In CEUR Workshop Proceedings (pp. 349–354).
-
Leduc, M, Degueule, T.F, Combemale, B, van der Storm, T, & Barais, O. (2017). Revisiting visitors for modular extension of executable DSMLs. In ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (pp. 112–122). doi:10.1109/MODELS.2017.23
-
van Rozen, R, & van der Storm, T. (2017). 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
-
Bagnato, A, Barmpis, K, Bessis, N, Cabrera-Diego, L.A, Di Rocco, J, Di Ruscio, D, … Vinju, J.J. (2017). Developer-Centric Knowledge Mining from Large Open-Source Software Repositories (CROSSMINER). In M Seidl & S Zschaler (Eds.), Software Technologies: Applications and Foundations. STAF 2017 (pp. 375–384). doi:10.1007/978-3-319-74730-9_33
-
van Eijck, D.J.N. (2017). A programming road to logic, maths, language, and philosophy : a tribute to Jan van Eijck on the occasion of his retirement.
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
-
Adviseren en verrichten van onderzoek naar de functionele en niet-functionele eigenschappen van een deel van ING\'s IT-infrastructuur
-
Enterprise software engineering
-
Developer-Centric Knowledge Mining from Large Open-Source Repositories (CROSSMINER)
-
To provide a domain-agnostic, blockchain-based identity management platform for the distributed and immutable storage, authority-based attestation and provision of trusted and self-sovereign digital (IdentityChain)
-
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
-
X/Open Company Limited
-
Technische Universität Berlin
-
Volkswagen AG