Formal Methods in Software Engineering

Home >> Courses Catalogue >> Formal Methods in Software Engineering
Instructor:
Course Venue:

Mobile Computing Laboratory

CIT Block B
College of Computing and Information Sciences

   

Course Code: 
MCN 8109
Course Credit Units: 
3
Semester: 
Semester 1
Year of Study: 
Year 2
Undergraduate or Graduate Level: 
Graduate Level
Department: 
Course Discipline: 
Course Description & Objectives: 

This course covers formal methods used in the development of software. It studies languages for object-oriented  modeling, such as the Unified Modeling Language (UML) along with its Object Constraint Language (OCL) and Action Semantics extensions; the specification of abstract data types, such as Z; and concurrency,  such as process algebras and temporal logic.Aims:The aim of the course is to equip students with the knowledge to develop and specify a precise statement of what the software is to do, while avoiding explicit (or even implicit)  constraints on how it is to be done.   

Learning Outcomes: 

At the end of the course

  • Student should be able to understand and specify systems formally
  • Student  should be able to understand how to use formal tools to verify and understand software systems

   

yarak
File Attachments:
vergineporno.com samba porno https://www.douxporno.com/5/francais-salope-rachel-adjani-est-d-sireux-de-prendre-torride-double-p-n-tration-bite/ porno gratis x