Group Members

Saad sadiq (20)Azher tehzeeb (31)Naveed pirzada (09)Nadeem Sarwar (12)

Formal Method

Tool and techniques based on mathematical and logical notations in order to develop any s/w or system

Why it is used…???

Formal method are being used or plane to help out the s/w industry

by Generating or creating better s/w

To ensure high quality

When it is used…???

It is used when we have to develop a high quality s/w

Paragraph 0::=[Addtion of two number] Paragraph 0.1::=[NUM={0,1,2,3,….,9}|

OPERATOR={+,-,*,/}] Paragraph 1::=[NUM,OPERATOR] Paragraph 2::=a,b,c:NUM; O:Operator; Paragraph 3::=

SPECIFICATIONS

Paragrapg 4::=

Paragraph 5::= a=input value 1;

b=input value 2;

o=aoperator input;

c=aob;

show c;

paragraph 6::=End Of Specification

Informal method

Informal specification can be free form

of requirement

Informal method

OR

Informal method

It is said as a natural

language of requirement.

Informal method

It contain ambiguity and lack of organization of

information

Due to these reasons ,it can result

in completeness ,inconsistency and misunderstanding.

The system can be done………………

Advantages of Formal Method

Formal method will ensure that the customer gets what they want.* Formal method helps protect the programmer from requirement change from customer.* Formal method find defects in early stages of development process.

* It helps software industry to create better

software and ensure high quality of software .*Automated checking of certain properties.

* Evalution of design alternative without expensive prototyping.

* Preparations of formal method can take very long

time.* It may be difficult to take place change if once

software design and testing phase complete.* It will make development process or development

of any application very lenghty.

Disadvantages of Formal method

* Formal method require extra traning of workers.* It only focus on function and data. Timing , Control and behavioral are make difficult to

represent.

Any question

????