Professional Documents
Culture Documents
Course Contents:
Course Objective:
This is not a course where one writes thousands of lines of code, characterised typically
by intense effort of getting the program to work during the days approaching the project
deadline. Rather, it is an intellectual course where system-level decisions are
represented in a high-level notation (e.g., UML) that together form a system
architecture.
Teaching Methodology:
Lectures, Written Assignments, Practical labs, Semester Project, Presentations
Courses Assessment:
Mid Exam, Home Assignments, Quizzes, Project, Presentations, Final Exam
Reference Materials:
1. Software Architecture in Practice,
3rd edition Len Bass, Paul Clements and Rick Kazman
Midterm Exam
Lect-I Patterns and invariant
Wee
k9
Lect-II Seven Myths of Formal Methods.
Lect-I Limitations and Acceptance of Formal Methods
Wee
The Z (Zed) specification Language
k 10 Lect-II
Wee Lect-I Z Schemas
k 11 Lect-II Model-based specifications
Lect-I Modularity and re-usability,
Wee
Lect-II The Object Constraint Language (OCL),
k 12