SENG523Formal Methods ¤ SENG523 (Winter, 2001/.../09/10) - Formal Methods Type: Q(3-2) Lecturer: Dr. Y. Wang Period: Sept. 9, 2009 – Dec. 7, 2009 Date: Mondays/Wednesdays/Fridays Time: 15:00 – 15:50am Classroom: ICT 518 Lab: Fridays (12:00-13:50, ICT 217) · See course website: SENG 523 Course description: Introduction: the formal approach to software development and software engineering, software system specification, and software as a mathematical entity; Mathematical foundations of software engineering: mathematical logic, set theory, FSMs, and denotational mathematics; Real-Time Process Algebra (RTPA): RTPA notations, the RTPA system modeling methodology, unified data models, unified process models, component specifications, ADT specifications, and system specifications, case studies on system specifications and refinement; The Z method: notation structure, types, schemata, case studies, and object-Z; Light-weighted formal methods: UML. Applications of formal methods: system architecture modeling, system static and dynamic behaviors modeling, case studies in different formal methods. Evaluation: 1. Assignments: 20% 2. Labs: 15% 3. Midterm: 20% 4. Final examination: 45% Reference textbooks: Y. Wang (2007), Software Engineering Foundations: A Software Science Perspective, Auerbach Publications, USA. J. Derrick and E, Boiten (2001), Refinement in Z and Object-Z: Foundations and Advanced Applications, Springer-Verlag, London.
SENG523
Formal Methods
Type: Q(3-2)
Lecturer: Dr. Y. Wang
Period: Sept. 9, 2009 – Dec. 7, 2009
Date: Mondays/Wednesdays/Fridays
Time: 15:00 – 15:50am
Classroom: ICT 518
Lab: Fridays (12:00-13:50, ICT 217)
· See course website: SENG 523
Course description:
Introduction: the formal approach to software development and software engineering, software system specification, and software as a mathematical entity; Mathematical foundations of software engineering: mathematical logic, set theory, FSMs, and denotational mathematics; Real-Time Process Algebra (RTPA): RTPA notations, the RTPA system modeling methodology, unified data models, unified process models, component specifications, ADT specifications, and system specifications, case studies on system specifications and refinement; The Z method: notation structure, types, schemata, case studies, and object-Z; Light-weighted formal methods: UML. Applications of formal methods: system architecture modeling, system static and dynamic behaviors modeling, case studies in different formal methods.
Evaluation:
1. Assignments: 20%
2. Labs: 15%
3. Midterm: 20%
4. Final examination: 45%
Reference textbooks:
Y. Wang (2007), Software Engineering Foundations: A Software Science Perspective, Auerbach Publications, USA.
J. Derrick and E, Boiten (2001), Refinement in Z and Object-Z: Foundations and Advanced Applications, Springer-Verlag, London.