News
Software Analysis and Transformation group news
Theme CWI Lectures 2012 ‘Understanding Software’
The theme of the annual CWI Lectures that takes place 14 June 2012 is 'Understanding Software. The size of software systems ranges from dozens to hundreds of millions lines of code. Programming …
![Theme CWI Lectures 2012 ‘Understanding Software’](/images/37050/51bb33d3-3d8d-45e8-a2d6-77f1b84fd2.2e16d0ba.fill-427x427.jpg)
Paul Klint appointed CWI Fellow
![Paul Klint appointed CWI Fellow](/images/37051/a6cc149c-a3c3-4f45-90ce-5f5c684d71.2e16d0ba.fill-427x427.jpg)
IBM Scientific Award 2010 awarded to Alexandra Silva
The IBM Scientific Prize 2010 was presented on 18 October 2011 to Alexandra Silva, for her PhD research at the Centrum Wiskunde & Informatica (CWI) in Amsterdam.
![IBM Scientific Award 2010 awarded to Alexandra Silva](/images/37052/524d4df8-46dc-4968-bdaa-d566f8f613.2e16d0ba.fill-427x427.jpg)
Rascal for Easy Meta-Programming
Rascal is a new meta-programming language that was launched by CWI at the Summer School on Generative and Transformational Techniques in Software Engineering, 6-11 July, in Braga, Portugal.
![Rascal for Easy Meta-Programming](/images/36655/289d364e-d479-4c56-98eb-b644f4ce5c.2e16d0ba.fill-427x427.png)
French-Dutch IT co-operation started with ATEAMS project
![French-Dutch IT co-operation started with ATEAMS project](/images/36658/70e0d09b-b308-4529-9f13-5bb50ca764.2e16d0ba.fill-427x427.jpg)
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](/images/36494/12cebe64-5296-4139-b10d-0b1e97b198.2e16d0ba.fill-427x427.jpg)
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](/images/37028/f4e1d15e-8652-43ab-810c-547f0f5c93.2e16d0ba.fill-427x427.jpg)
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 …