Software Analysis and Transformation group news

Crosscutting Concerns in Embedded Software Systems

Magiel Bruntink (CWI) received his PhD degree with honours on 17 March 2008 at Delft University of Technology (TUD). He investigated the phenomenon of idiomatic crosscutting concerns in embedded software. His research …

Jan van Eijck appointed NIAS Fellow

Jan van Eijck has been appointed NIAS fellow on 1 September 2006. For five months he will be engaged in research on Games, Action and Social Software at the Netherlands Institute for …

TT-Medal Project wins ITEA Achievement Award 2005

The Board of ITEA - Information Technology for European Advancement - selected the TT-Medal project as the winner of the ITEA 2005 Achievement Award. This was announced at the 6th ITEA Symposium …

Longer economic lifetime for software

Programming in a new way lengthens the economic lifetime for software, CWI researcher Arie van Deursen said during his inaugural speech as software engineering professor at the Technische Universiteit Delft on February …

Funding for software testing project TT-MEDAL

The Dutch Ministry of Economic Affairs has allocated funding to the software test development project TT-MEDAL. This was announced on November 12, 2003. TT-MEDAL is a cooperation of CWI's Specification and Analysis …

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 …

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), …

Lecture Edsger Dijkstra at CWI

Lecture Edsger Dijkstra On Tuesday, October 10, 2000, the famous Edsger Dijkstra will give a lecture at CWI, entitled: 'On avoiding avoidable case analyses'. Prof.dr. Dijkstra is Professor Emeritus of the University …

edsger-wybe-dijkstra-bw2