CSE584: Software Engineering Lecture 6 (November 10, 1998)
This week and next
Today you’ve already seen
Caveat
John Gall (Systemantics)
Comments on video?
A few more examples
Ambiguity
But we’re not done
“dog” (noun)
“shoe” (noun, Webster’s)
Clarity is hard and crucial
Mood mixing
Principle of uniform mood
Informal approaches
“Will” and “Shall”
Structured requirements
Formal methods
Potential benefits
Styles of specifications
Model oriented
Aside: Jackson
Algebraic specifications
Process based specifications
Finite state specifications
Next week
Email: notkin@cs.washington.edu
Other information: CSE 584, Lecture 6
Download presentation source