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 or section
Like this
2Activity
0 of .
Results for:
No results containing your search query
P. 1
Part 5

Part 5

Ratings: (0)|Views: 27 |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/18/2011

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
Supplementary Slides for Supplementary Slides for 
Software Engineering:Software Engineering: A Practitioner's Approach, 6/e A Practitioner's Approach, 6/e
Part 5Part 5
copyright © 1996, 2001, 2005
R.S. Pressman & Associates, Inc.
F
or 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.This presentation, slides, or hardcopy may NOT be used for short courses, industry seminars, or consulting purposes.
 
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
Software Engineering: A Practitioner¶s Approach, 6/eSoftware Engineering: A Practitioner¶s Approach, 6/e
C
hapter 28
C
hapter 28
F
ormal Methods
F
ormal Methods
copyright © 1996, 2001, 2005
R.S. Pressman & Associates, Inc.
F
or 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
3
Problems withProblems with
C
onventional Specification
C
onventional Specification
contradictionscontradictions
ambiguitiesambiguities
vaguenessvagueness
incompletenessincompleteness
mixed levels of abstractionmixed levels of abstraction

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)//-->