Week :15 Real Based Programming and Concurrency in real time
Chapter 20 (Page 189 to 198) is about Rule-Based Programming
Chapter 21 (Page 199 to 208) is about Graphical User Interface (GUI),
Chapter 24 (Page 231 to 233) is about Concurrency and Real-time, Refinement, Program Derivation, and Formal Verification
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
