- Degree Bachelor
- Code: SE494
- Credit hrs: 3
- Prequisites:
This course introduces the use of formal mathematical notation and reasoning in the software development process. These methods have applications in requirements specification, design, and verification. Course topics include mathematical foundations, predicates, preconditions and post conditions, alternative notations, types of formal models, and the strengths and limitations of formal methods.
Software Engineering Program.
Jonathan Jacky, The Way of Z: Practical Programming with Formal Methods, Cambridge University Press.
| content serial | Description |
|---|
| 1 | Introduction to Formal Methods |
| 2 | Set Theory |
| 3 | Introduction to Z |
| 4 | Elements of Z |
| 5 | Structure |
| 6 | Logic |
| 7 | 7th Week Exam |
| 8 | Synthesis |
| 9 | State |
| 10 | Schemas and schema Calculus |
| 11 | Schema Types and Binding |
| 12 | Formal Reasoning |
| 13 | 12th Week Exam |
| 14 | Using Formal methods with UML |
| 15 | Object Constraint Language (OCL) |
| 16 | Final Exam |
| 1 | Introduction to Formal Methods |
| 2 | Set Theory |
| 3 | Introduction to Z |
| 4 | Elements of Z |
| 5 | Structure |
| 6 | Logic |
| 7 | 7th Week Exam |
| 8 | Synthesis |
| 9 | State |
| 10 | Schemas and schema Calculus |
| 11 | Schema Types and Binding |
| 12 | Formal Reasoning |
| 13 | 12th Week Exam |
| 14 | Using Formal methods with UML |
| 15 | Object Constraint Language (OCL) |
| 16 | Final Exam |
Start your application