Course Description: A graduate-level survey of
concepts, principles, and techniques related to software and systems
specification. Topics include system modeling, requirements elicitation,
analysis and documentation techniques, validation and prototyping, and
formal methods. Students will practice the techniques presented in class
via individual and/or group exercises and a term project.
Course Objectives: To present concepts, principles,
and techniques related to software and systems requirements engineering
and specification. Students will become acquainted with both informal and
formal requirements engineering methods, including techniques for
validating specified requirements.
Course Outline by Topical Areas:
| Ambiguity in Stating Requirements
|
| Volere Requirements Process
|
|
Getting the Right People Involved
|
|
Making Meetings Work for Everybody
|
|
Reducing Ambiguity From Start to Finish
|
| Greatly Improving the Odds of Success
|
|
Technical Reviews Measuring Satisfaction
|
| Studying Existing Products
|
| Methods for Requirements Engineering
|
| Nonfunctional Requirement
|
