pesentation of formal
TRANSCRIPT
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
????