Faculty of Engineering - Ain Shams University, Home

Home  >  Faculty of Engineering - Ain Shams University, Home

Software Formal Specifications

What Will Learn?

  • Course Aims
    ● Understanding of the dangers of informal Software requirements ● Analyzing and compare different techniques for formal system modeling. ● Understanding of the requirements modeling ● Sharing ideas and work in a team effectively and independently.
  • Course Goals
  • Decent Work and Economic Growth
  • Industry, Innovation and Infrastructure
  • Sustainable Cities and Communities

Requirements

CSE142

Description

  • English Description

    Mathematical fundamentals. Z scheme. State-based approaches. Event-based approaches. B machines. Algebraic specifications. Petri nets. Temporal logic. Properties of programs. Computational Tree Logic (CTL). Specification. Verification. Model checking.
  • Arabic Description

    Mathematical fundamentals. Z scheme. State-based approaches. Event-based approaches. B machines. Algebraic specifications. Petri nets. Temporal logic. Properties of programs. Computational Tree Logic (CTL). Specification. Verification. Model checking.
  • Department
    Computer and Systems Engineering
  • Credit Hours
    3
  • Grades
    Total ( 100 ) = Midterm (25) + tr.Major Assessment (30 = tr.Industry 0% , tr.Project 15% , tr.Self_learning 5% , tr.Seminar 15% ) + tr.Minor Assessment (5) + Exam Grade (40)
  • Hours
    Lecture Hours: 2, Tutorial Hours: 2, Lab Hours: 0
  • Required SWL
    125
  • Equivalent ECTS
    5
  • ● Software Development with Z, Addison Wesley, J.B. WordsWorth, 2003
  • ● The construction of Formal Specifications, the McGraw Hill international, J.G. Turner and T.L. McCluskey, 1996
  • ● OCL 2.0 OMG online reference
  • ● Handbook of Model Checking, Editors: Clarke, E.M., Henzinger, Th.A., Veith, H., Bloem, R. (Eds.) 2018 - Software Development with Z, Addison Wesley, J.B. WordsWorth, 2003.