This document discusses formal methods for software development. It notes that formal methods use mathematical and logical notations to develop software and systems in a rigorous way. Formal methods help ensure high quality software by generating better code and protecting against requirement changes from customers. However, formal methods also have disadvantages like taking a long time and requiring extra training.

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

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

4. 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

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

6. 
 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

7. 
Paragrapg 4::=
Paragraph 5::= a=input value 1;
b=input value 2;
o=aoperator input;
c=aob;
show c;
paragraph 6::=End Of Specification

9. Informal specification can be free form of
requirement
Informal method

10. OR
Informal method

11. It is said as a natural language
of requirement.
Informal method

12. It contain ambiguity and lack
of organization of information

13. Due to these reasons ,it can
result in completeness
,inconsistency and
misunderstanding.

14. The system can be
done………………

15. 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.

16. * 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.

17. * 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

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

19. Any question
????