May 02, 2024  
School of Graduate Studies Calendar, 2015-2016 
    
School of Graduate Studies Calendar, 2015-2016 [-ARCHIVED CALENDAR-]

Add to Favourites (opens a new window)

CAS 754 / Programming Methodology

3 unit(s)

E. Sekerinski

Verification and Refinement Methods for Sequential and Concurrent Programs, Specification Techniques, Reliability, Object-Orientation (Modeling, Design, Patterns, Concurrency), Program Design and Program Documentation, Tools and Compilers.



Add to Favourites (opens a new window)