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
Paul Klint in Labyrint on 5 December
In 2012 the 100th birthday of Alan Turing has been celebrated worldwide. Turing deciphered the Enigma code during World War II and is considered to be founder of Computer Science and Artificial Intelligence.
Vadim Zaytsev Program Chair van Wikimedia Conferentie Nederland
Op 9 november vindt in Utrecht de Wikimedia Conferentie Nederland plaats. CWI-onderzoeker Vadim Zaytsev is de programmacoördinator (Program Chair) van de conferentie, die dit jaar zal gaan over Wikipedia en het onderwijs.
Floor Sietsma awarded 'Nerd van het Jaar 2012'
Researcher at the Centrum Wiskunde & Informatica (CWI) in Amsterdam Floor Sietsma is awarded by Quest readers as Nerd of the Year 2012. In the race she left her main competitors Diederik Jekel, known from ‘De Wereld Draait Door’ and medical biologist Elza van Deel behind, who finished in second and third place.
Theme CWI Lectures 2012 ‘Understanding Software’
The theme of the annual CWI Lectures that takes place 14 June 2012 is 'Understanding Software. The size of software systems ranges from dozens to hundreds of millions lines of code. Programming and maintenance have therefore become increasingly expensive and complex.
Members
Associated Members
Publications
-
Jézéquel, J.-M, Leduc, M, Barais, O, Mayerhofer, T, Bousse, E, Cazzola, W, … Wortmann, A. (2018). Concern-oriented language development (COLD): Fostering reuse in language engineering. Computer Languages, Systems and Structures, 54, 139–155. doi:10.1016/j.cl.2018.05.004
-
Digi-drama, ict-infarct én ict-ellende bij overheid - Computable - 21-04-18. (2018). Digi-drama, ict-infarct én ict-ellende bij overheid - Computable - 21-04-18.
-
Bezirgiannis, N. (2018, April 17). Abstract behavioral specification: unifying modeling and programming. Institute for Programming research and Algorithmics Dissertation Series.
-
Legacyproblemen moeten doordringen tot bestuurskamers - fd.nl - 01-03-18. (2018). Legacyproblemen moeten doordringen tot bestuurskamers - fd.nl - 01-03-18.
-
van den Hove d'Ertsenryck, G.M.C. (2017). Dissolving a half century old problem about the implementation of procedures. Science of Computer Programming, 150, 75–86. doi:10.1016/j.scico.2017.07.007
-
EIT Digital opent Fintch-innovatiecentrum in Amsterdam - BI-Platform - 19-10-2017. (2017). EIT Digital opent Fintch-innovatiecentrum in Amsterdam - BI-Platform - 19-10-2017.
-
Verano Merino, M, Vinju, J.J, & van der Storm, T. (2017). Bacatá: a generic notebook generator for DSLs. Presented at the Workshop on Domain-Specific Language Design and Implementation.
-
Landman, D, Serebrenik, A, Bouwers, E, & Vinju, J.J. (2017). Corrigendum to: Empirical analysis of the relationship between CC and SLOC in a large corpus of Java methods and C functions published on 9 December 2015. Journal of Software: Evolution and Process, 29(10). doi:10.1002/smr.1914
-
De voorspelbare mens 1: Wat is een algoritme? - eenvandaag.nl - 14-08-2017. (2017). De voorspelbare mens 1: Wat is een algoritme? - eenvandaag.nl - 14-08-2017.
-
Klint, P. (2017). Tussen de bouten en moeren. I/O ICT Onderzoek (Vol. 14, pp. 3–3).
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
-
Live Game Design
-
Developer-Centric Knowledge Mining from Large Open-Source Repositories (CROSSMINER)
-
Model Extraction for Re-engineering Traditional Software (MERITS)
Related partners
-
Dutch Game garden
-
Firebrush Studios
-
IC3D Media
-
ING Bank
-
Ludomotion
-
Hogeschool van Amsterdam
-
Technische Universiteit Delft