Formal Specification and Design Techniques

Outlines of the course (Part I)

Download 0.69 Mb.

Page	3/6
Date	04.03.2021
Size	0.69 Mb.
	#55992

1 2 3 4 5 6

fmse-introduction

Outlines of the course (Part II)
How to Avoid Software Errors

Outlines of the course (Part I)

What are formal methods?
Overview of sets, relations, functions, graphs and directed graphs.
Propositional logic
Predicate logic
A simple Z specification
Schemas
State and operation schemas
Schema calculus

Outlines of the course (Part II)

VDM
Specifying the states in VDM-SL
Specifying the operations in VDM-SL
Net-based formal methods,
Elementary nets
Structure of a net
Dynamic behavior of a net
Rules to design a system through Petri nets
Execution rules in Petri nets
Analysis methods of PN

How to Avoid Software Errors?

in design phase: formal methods
in coding phase: testing
later: bug fixing with clients
warning: rare, but catastrophic errors are often not found by testing!

What is formal methods

Formal methods use mathematical notation to describe in a precise way the properties of an information system.
They describe what the system must do, without saying how it is to be done.
This makes Formal specifications useful in the process of developing a computer system.

Download 0.69 Mb.

Share with your friends:

1 2 3 4 5 6

The database is protected by copyright ©ininet.org 2024
send message