Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword
Like this
1Activity
0 of .
Results for:
No results containing your search query
P. 1
Ch28

Ch28

Ratings: (0)|Views: 5 |Likes:
Published by Hari

More info:

Published by: Hari on Nov 27, 2010
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PPT, PDF, TXT or read online from Scribd
See more
See less

11/27/2010

pdf

text

original

 
These courseware materials are to be used in conjunction with
Software Engineering: A Practitioner¶s Approach,
6/e and are providedwith permission by R.S. Pressman & Associates, Inc., copyright © 1996, 2001, 2005
1
Software Engineering: A Practitioner¶s Approach, 6/eSoftware Engineering: A Practitioner¶s Approach, 6/e
Chapter 28Chapter 28Formal MethodsFormal Methods
copyright © 1996, 2001, 2005
R.S. Pressman & Associates, Inc.
For University Use Only
May be reproduced ONLY for student use at the university levelwhen used in conjunction with
Software Engineering: A Practitioner's Approach.
 Any other reproduction or use is expressly prohibited.
 
These courseware materials are to be used in conjunction with
Software Engineering: A Practitioner¶s Approach,
6/e and are providedwith permission by R.S. Pressman & Associates, Inc., copyright © 1996, 2001, 2005
2
P
roblems with
P
roblems withConventional SpecificationConventional Specification
contradictionscontradictions
ambiguitiesambiguities
vaguenessvagueness
incompletenessincompleteness
mixed levels of abstractionmixed levels of abstraction
 
These courseware materials are to be used in conjunction with
Software Engineering: A Practitioner¶s Approach,
6/e and are providedwith permission by R.S. Pressman & Associates, Inc., copyright © 1996, 2001, 2005
3
Formal SpecificationFormal Specification
D
esired properties
D
esired properties²²consistency, completeness, and lack of ambiguityconsistency, completeness, and lack of ambiguity²²areare the objectives of all specification methodsthe objectives of all specification methods
The formal syntax of a specification language (Section 28.4) enablesThe formal syntax of a specification language (Section 28.4) enablesrequirements or design to be interpreted in only one way, eliminatingrequirements or design to be interpreted in only one way, eliminatingambiguity that often occurs when a natural language (e.g., English) or aambiguity that often occurs when a natural language (e.g., English) or agraphical notation must be interpretedgraphical notation must be interpreted
The descriptive facilities of set theory and logic notation (Section 28.2) enableThe descriptive facilities of set theory and logic notation (Section 28.2) enableclear statement of facts (requirements).clear statement of facts (requirements).
Consistency is ensured by mathematically proving that initial facts can beConsistency is ensured by mathematically proving that initial facts can beformally mapped (using inference rules) into later statements within theformally mapped (using inference rules) into later statements within thespecification.specification.

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->