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.

News

CWI builds new supercomputer

CWI has started the construction of a new supercomputer cluster in the beginning of October 2003. The cluster, consisting of 48 dual and quad AMD Opteron systems, is the first quad Opteron cluster in the Benelux. The new supercomputer, funded by the Netherlands Organization for Scientific Research NWO, is expected to be operational in two months.

CWI builds new supercomputer - Read More…

INRIA and CWI launch VLTS benchmark website

Together with the VASY group of CWI's French sister institute INRIA, Stefan Blom (SEN2) has set up the first VLTS Benchmark Suite. This online database contains several very large transition systems (VLTS), systematic descriptions of complex processes like railway safety systems. These descriptions, also referred to as state space graphs, include all possible states of the system and the way these states are related to each other. The benchmarks can be used to the evaluate algorithms operating on state space graphs, like model checkers and visualisation tools.

INRIA and CWI launch VLTS benchmark website - Read More…

Events

Logic, Rationality and Common Sense - Workshop on the occasion of Jan van Eijck's retirement

  • 2017-06-02T00:00:00+02:00
  • 2017-06-02T23:59:59+02:00
June 2 Friday

Start: 2017-06-02 00:00:00+02:00 End: 2017-06-02 23:59:59+02:00

Turing zaal, CWI gebouw, Science Park 123, Amsterdam

 

Reflections on the possibilities and the limitations of applications of logic to the analysis of human behaviour. The workshop is intended to create a space to talk about issues that are not often addressed in public in scientific circles.

Speakers: Alexandru Baltag, Hans van Ditmarsch, Reinhard Muskens, Rineke Verbrugge, Albert Visser and Jan van Eijck.

To register: see website.

 

PhD Defence Michael Steindorfer (SWAT)

  • 2017-02-28T13:00:00+01:00
  • 2017-02-28T15:30:00+01:00
February 28 Tuesday

Start: 2017-02-28 13:00:00+01:00 End: 2017-02-28 15:30:00+01:00

Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam

Everybody is welcome to attend he public defense of Michael of his thesis 'Efficient Immutable Collections'.

Promotor: Prof.dr. Paul Klint en Prof.dr. Jurgen Vinju

PhD Defence Atze van der Ploeg (SWAT)

  • 2015-04-08T12:00:00+02:00
  • 2015-04-08T14:30:00+02:00
April 8 Wednesday

Start: 2015-04-08 12:00:00+02:00 End: 2015-04-08 14:30:00+02:00

Agnietenkapel, Oudezijds Voorburgwal 229-231, 1012 EZ Amsterdam

Everybody is welcome to attend the public defence of Atze Johannes van der Ploeg of his thesis 'Efficient Abstractions for Visualization and Interaction'

Promotor: Prof.dr. Paul Klint (CWI)

Copromotor: Dr. Tijs van der Storm (CWI)

Members of Software Analysis and Transformation

Publications

Software

Current Projects

  • 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
  • CROSSMINER
    Developer-Centric Knowledge Mining from Large Open-Source Repositories
  • MERITS
    Model Extraction for Re-engineering Traditional Software

Partners

  • Dutch Game garden
  • Firebrush Studios
  • IC3D Media
  • ING Bank
  • ING Bank
  • Ludomotion
  • Hogeschool van Amsterdam
  • Technische Universiteit Delft