next up previous contents
Next: B-Toolkit Up: Survey of Courses per Previous: FDR   Contents

Alloy

 
Number of courses selected: 3  
Ref Y/S Module Institution Contact Topics/Langs/Tools
475 Software Engineering Environments Imperial C. M. Huth Alloy , FPT
302 Software Engineering - Methods Imperial C. M. Huth Alloy , FPT
Software Engineering II Milan Poli. C. Ghezzi Alloy , MC , SPIN , TFM
next up previous contents
Next: B-Toolkit Up: Survey of Courses per Previous: FDR   Contents
2004-11-04