News
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 …
