Software Analysis and Transformation group news

French-Dutch IT co-operation started with ATEAMS project

French-Dutch IT co-operation started with ATEAMS project

Industry benefits from modelling

On Thursday 13 November Joost Jacob received his PhD for his research on models to describe software systems.

Industry benefits from modelling

Safer cash withdrawal from ATMs with mathematics

Software faults can be expensive - for instance in automated teller machines (ATMs). Quality control should avoid such faults, but this is often a cumbersome, expensive and erroneous task. Jens Calamé from …

Safer cash withdrawal from ATMs with mathematics

SIG wins ICTRegie Award

On Wednesday the Software Improvement Group (SIG) won the ICTRegie Award. The CWI spin-off SIG analyses any software source code in an automated manner. The company maps out the quality of the …

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 …