Week 11: Document Control System (Case Study)
Chapter 16 (Page 165 to 168) is about a case study that models and verify a Document Control System (DCS) in a distributed environment.
Course Material
- Week 1-2: Introduction to Natural Deduction
- Week 3; Introduction to Formal Methods
- Week 4-5: Introduction to Z notational language
- Week 6: Console Case Study and Schema
- Week 7: Elements, Structure and Logic
- Week 8: Synthesis and Schema Calculus
- Week 9-10: Schema types, bindings, Generic Definition, Free Types and Formal Reasoning
- Week 11: Document Control System (Case Study)
- Week 12: Text Processing (Case Study)
- Week 13: Eight Queen Problem (Case Study)
- Week 14: Computer graphics and computational geometry
- Week :15 Real Based Programming and Concurrency in real time
- Week 16: Converting Z into OOP Code.
- Chapters 13
- Department CS & IT
- Teacher
Mr. Zohaib Nawaz
