Chapter 6 Software Requirements
S. 2004. Requirements and the Business Case. IEEE Software,
21 (5), 93-95.
A. and Grunbacher, P. 'Identifying Requirements Conflicts
and Cooperation: How Quality Attributes and Automated Traceability
Can Help'. IEEE Software, 21 (6), 50-58.
I. 2005. 'Integrated Requirements Engineering: A Tutorial',
IEEE Software, 22 (1), 16-23.
Discusses new approaches to requirements engineering
designed to cope with the need for more rapid delivery of
software. An important point of the paper is that for more
rapid delivery, we need to integrate the design and requirements
A comprehensive bibliography of requirements engineering
and templates for requirements documents
This link has many links to templates that can be used for
requirements documents and other related documents.
Chapter 7 Requirements Engineering Processes
M. 2004. 'ERP Requirements Engineering Practice: Lessons
Learned'. IEEE Software, 21 (2),
An excellent paper that discusses practical experience with
requirements for ERP systems. This class of system is widely
used but largely ignored by RE researchers.
in Requirements Engineering. Special issue of IEEE Software,
22 (1), Jan/Feb 2005.
Includes a number of good articles on new developments
A summary (2002) of the state of the art in requirements
engineering, expectations management and the two cultures
A little-known paper presented in 1999 which discusses the
importance of communications and presents what I think is
a useful idea of simplifiers and complicators.
Cooperative requirements engineering with scenarios
A site for a European project with several useful tech.
reports on scenario-based RE.
Chapter 8 System Models
The OMG is the guardian of UML and their web site has
lots of UML resources.
A commercial site from a tool vendor but lots of links
to introductory UML resources.
modeling with UML
Quite a messy, commercial site but the tutorial is OK.
9 Critical Systems Specification
R.R. and Mikluski, I.C. 2004. 'Ongoing
Requirements Discovery in High-Integrity Systems'.
IEEE Software, 21 (2),
Discusses changing requirements in spaceborne systems.
Safety Requirements Engineering Dilemma (D. Berry)
Elicitation for Complex Safety-Related Systems (Bush
security requirements (Firesmith)
Chapter 10 Formal Specification
R.L. 2004. 'The Mystery of Formal Methods Disuse'.
Comm. ACM, 47 (8), 15-17.
methods virtual library (Bowen)
LARCH specification language
Z tools (Open source tools for Z)