Software Systems Specification and Modeling
Auerbach Publications – 2012 – 196 pages
Drawing on the author’s industrial experience in software development, this book explores system specification and validation. It describes the discipline of software requirements engineering, along with issues to consider when choosing a specification technique or notation. It covers the differences between requirements analysis and construction specification and explains methods for translating specifications into designs. The text also describes different approaches to software specification, including visual and textual methods. It offers many illustrative examples to reinforce concepts and provide clarity. PowerPoint® slides and solutions manual are available upon qualified course adoption.
What is requirements engineering?
What are requirements?
Requirements engineering activities
The requirements engineer
Requirements engineering paradigms
Problems with traditional requirements engineering
Encounter with a customer
Customer wants and needs
Why do customers change their minds?
Communicating with customers and other stakeholders
Elicitation techniques survey
Elicitation support technologies
Writing the Requirements Document
Requirements representation approaches
IEEE standard 830
ISO/IEEC Standard 25030
The requirements document
Best practices and recommendations
Requirements Risk Management
What is requirements risk management?
Verification and validation
Standards for verification and validation
NASA requirements testing
What are formal methods?
Objections, myths, and limitations
Requirements Specification and Agile Methodologies
Introduction to Agile Software Development
Requirements engineering for agile methodologies
Writing user stories
Agile requirements engineering
Challenges for RE and Agile Methodologies
Commercial requirements engineering tools
Open source requirements engineering tools
Global requirements management
Antipatterns in requirements management
Other paradigms for requirements management
A case study
Estimating cost and efforts using COCOMO and its derivatives
Estimating cost and effort using function points
ROI calculation and tradeoff analysis
Each chapter concludes with References
John Mathenge Kanyaru is a professor within the Software Systems Research Centre, School of Design, Engineering, and Computing at Bournemouth University in Pool, UK.