Skip to Content

Software Systems Specification and Modeling

By John Mathenge Kanyaru

Auerbach Publications – 2016 – 196 pages

Series: Applied Software Engineering Series

Purchasing Options:

  • Hardback: $79.95
    978-1-43-985124-1
    January 1st 2016
    Not yet available

Description

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.

Contents

Introduction

Motivation

What is requirements engineering?

What are requirements?

Requirements engineering activities

The requirements engineer

Requirements engineering paradigms

Problems with traditional requirements engineering

Mission Statement, Customers and Stakeholders

Mission statements

Encounter with a customer

Stakeholders

Customer wants and needs

Why do customers change their minds?

Stakeholder prioritization

Communicating with customers and other stakeholders

Requirements Elicitation

Introduction

Elicitation techniques survey

Elicitation summary

Elicitation support technologies

Writing the Requirements Document

Requirements representation approaches

IEEE standard 830

ISO/IEEC Standard 25030

Use cases

The requirements document

Behavioral specifications

Best practices and recommendations

Requirements Risk Management

What is requirements risk management?

Verification and validation

Standards for verification and validation

NASA requirements testing

Formal Methods

Motivation

What are formal methods?

Examples

Objections, myths, and limitations

Final advice

References

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

Tool Support for Requirements Engineering

Introduction

Traceability support

Commercial requirements engineering tools

Open source requirements engineering tools

Best practices

Requirements Management

Requirements management

Global requirements management

Antipatterns in requirements management

Other paradigms for requirements management

References models

A case study

Value Engineering of Requirements

What, why, when, and how of value engineering?

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

Author Bio

John Mathenge Kanyaru is a professor within the Software Systems Research Centre, School of Design, Engineering, and Computing at Bournemouth University in Pool, UK.

Name: Software Systems Specification and Modeling (eBook)Auerbach Publications 
Description: By John Mathenge Kanyaru. 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...
Categories: Software Engineering & Systems Development