Riphah International University Islamabad Main Campus
Econi theory
SOFTWARE E 102

Spring 2016
Formal Methods in Software
Engineering
Introduction to Z
Z (pronounced Zed) is a formal specification
language.
Named after famous mathematicians Zermelo
Fraenkel.
Based on set theory and firstorder predicate logic.
Initially developed by JeanRaymon
Riphah International University Islamabad Main Campus
Econi theory
SOFTWARE E 102

Spring 2016
Islamic Rules for
Sales (Bai)
GENERAL PRINCIPLES OF
BUSINESS
1 Free Mutual Consent
2 Lawfulness of Subject Matter
3 Legality of Motivating Cause
4 Prohibition of Gharar
(Uncertainty)
5 Prohibition of Riba
6 Prohibition of Qimar
(Gambling) & Maysir (
Riphah International University Islamabad Main Campus
Econi theory
SOFTWARE E 102

Spring 2016
Agenda
Review of Previous Lectures
Specifying Sequential Systems
Sequential Programs
Introduction to Z
Fundamental Concepts
1
Review of previous lectures
What is a Specification?
Intermediate product of software development
process
Basis for ensur
Riphah International University Islamabad Main Campus
Econi theory
SOFTWARE E 102

Spring 2016
Formal Methods in Software Engineering
Q1: What are formal methods and what are its benefits and why we use formal methods?
Ans: Rigorous mathematicallybased techniques and tools for the specification, development, and
verification of software and hardw
Riphah International University Islamabad Main Campus
Econi theory
SOFTWARE E 102

Spring 2016
Petri Nets
LowLevel Petri Nets
Syntax
A placetransition net (N) may be defined as a
triple:
where:
Pisafinitesetofplacesrepresentedbythesymbols
Tisafinitesetoftransitionsrepresentedbythesymbols
Fisaflowrelationsuchthat
withtheconditionsand.
2
LowLevel
Riphah International University Islamabad Main Campus
Econi theory
SOFTWARE E 102

Spring 2016
Lecture 2: Introduction to Formal Specificatio
Formal Methods
Formal Methods
Rigorous mathematicallybased techniques and
tools for the specification, development, and
verification of software and hardware systems.
Software Development
1.
The process by
Riphah International University Islamabad Main Campus
Econi theory
SOFTWARE E 102

Spring 2016
Petri Nets
Intro to Petri Nets
Applies to concurrent and distributed systems
Follows a modeloriented approach to specification
States, Transitions
Petri nets have operational semantics
Control Flow, Executable
Developed in 1939 by Carl Adam Petri, o
Riphah International University Islamabad Main Campus
Econi theory
SOFTWARE E 102

Spring 2016
Formal Methods in Software
Engineering
Course Outline
Introduction to formal methods, developing and acquiring formal
methods, using and applying formal methods, a brief introduction to
logic and set theory, Introduction to Hoare's Logic, logic and theore
Riphah International University Islamabad Main Campus
Econi theory
SOFTWARE E 102

Spring 2016
FORMAL METHODS IN
SOFTWARE
ENGINEERING
Lecture 3
Propositional Logic
A proposition or statement is a sentence which is either true
or false.
Ways of joining and/or modifying entire propositions,
statements or sentences to form more complicated
proposition
Riphah International University Islamabad Main Campus
Econi theory
SOFTWARE E 102

Spring 2016
Formal Methods in Software
Engineering
Dr. Saif U. R. Malik
Assistant Professor
Considering All Scenarios
An implementation of the Birthday Book
specification will work as long as there are no
mistakes in the input, i.e., if
the preconditions have been
Riphah International University Islamabad Main Campus
Econi theory
SOFTWARE E 102

Spring 2016
Data Cleaning
Abstract
This report gives a brief introduction about the data cleaning.
Introduction
Data Cleaning is a process in which we regulate data that is irrational, inadequate and incorrect. The perseverance of Data Cleaning is to expand
the excel
Riphah International University Islamabad Main Campus
Econi theory
SOFTWARE E 102

Spring 2016
Five Pitfalls of DevOps in Industry
Abstract DevOps is a rising
worldview
to
effectively
encourage the cooperation
between framework designers
and operations keeping in mind
the end goal to empower
efcient
endtoend
robotization of programming
sending an
Riphah International University Islamabad Main Campus
Econi theory
SOFTWARE E 102

Spring 2016
EXPERIMENT 8 PROCESS SCHEDULING
Process Schedulers: Process schedulers are responsible for selecting which
process to execute so that overall performance is increased.
Performance Metrics: Metrics include throughput, CPU overhead, response time,
average w
Riphah International University Islamabad Main Campus
Econi theory
SOFTWARE E 102

Spring 2016
LIST OF COURSES
LONG TERM COURSES
S.NO.
COURSE NAME / CODE
DURATION
1.
Post graduate diploma in software
engineering (PGDSE)
2.5 years
2.
Post Graduate Diploma in Computer
Software Technology(PGDCST)
2 years
3.
Advance Diploma in Computer
Software
Technol