Week 6: Console Case Study and Schema
Chapter 6 (Page 39 to 48) explaining a medical console example as a sequence and data flow diagram. Then formally representing it as automata transition function.
Chapter 7 (Page 49 to 58) explaining schema and its types along with its implementation on an editor example.
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
