next up previous contents
Next: The CAML Language Up: Survey of Courses per Previous: Alloy   Contents

CASL

 
Number of courses selected: 3  
Ref Y/S Module Institution Contact Topics/Langs/Tools
TEKS Techniques of Correct Software Development Bremen C. Lüth ADT , CASL , CSP , FDR , Isabelle , MC
Algebraic Specification Bremen L. Schröder ADT , CASL
FSDPT Formal Specification of Data and Process Types T.U. Dresden Horst Reichel ADT , CASL , PA

next up previous contents
Next: The CAML Language Up: Survey of Courses per Previous: Alloy   Contents
2004-11-04