Skip to main content

Formal Methods in Software Engineering: Home

In software engineering, formal methods are a particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems

Learning Objective

Students should be able to understand and apply

  1. Recognize the power of mathematics in formal methods.
  2. Recognize the importance of formal notations at requirements level
  3. Recognize and understand one or more formal notation
  4. Develop skills to model requirements in formal notation
  5. Recognize different constructs of a graphical formal notation
  6. Develop skills to model requirements in a graphical formal notation
  7. Understand the role of formal analysis -using tools (automated analysis)

Feedback

The course guide is an easy source to get required information
Agree: 1 votes (100%)
Disagree: 0 votes (0%)
Not sure: 0 votes (0%)
Total Votes: 1

Gallery

Deputy Director

Khurram Shahzad's picture
Khurram Shahzad
Contact:
Information Services Department
I-14, Main Campus, Riphah International University, Near Hajj Complex, Islamabad
051-846000-8 ext-283
03215389311
Skype Contact: khurram_malik7

Level