next up previous contents
Next: FM06 Model Up: Survey of Courses per Previous: FM04 Algebraic   Contents

FM05 -- Property oriented Specification

 
Number of courses selected: 6  
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
Formal Methods Lausanne D. Buchs ADT
Foundations of Systems Development L-M-U München M. Wirsing ADT , CASL , FPT , LTL , MC , SPIN , TLA , Z
CS126 1 Design of Information Structures Warwick S. Russ ADT


next up previous contents
Next: FM06 Model Up: Survey of Courses per Previous: FM04 Algebraic   Contents
2004-11-04