Software Analysis and Transformation group news

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