next up previous contents
Next: CASL Up: Survey of Courses per Previous: CCS   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
LAB-MF 5 Formal Methods Laboratory Minho J.N. Oliveira Alloy , B , VDMT , VPP

next up previous contents
Next: CASL Up: Survey of Courses per Previous: CCS   Contents
2004-11-04