Communicating sequential processes
Communicating sequential processes
Discrete mathematics: an introduction for software engineers
Discrete mathematics: an introduction for software engineers
Software requirements & specifications: a lexicon of practice, principles and prejudices
Software requirements & specifications: a lexicon of practice, principles and prejudices
Deriving specifications from requirements: an example
Proceedings of the 17th international conference on Software engineering
Problem frames: analyzing and structuring software development problems
Problem frames: analyzing and structuring software development problems
Double-Pushout Approach with Injective Matching
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
ICGT '02 Proceedings of the First International Conference on Graph Transformation
A Requirements-Driven Development Methodology
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Goal-Oriented Requirements Engineering: A Guided Tour
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Double-pushout graph transformation revisited
Mathematical Structures in Computer Science
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
From requirements to specifications: a formal approach
Proceedings of the 2006 international workshop on Advances and applications of problem frames
Problem frame transformations: deriving specifications from requirements
Proceedings of the 2006 international workshop on Advances and applications of problem frames
Requirement Progression in Problem Frames Applied to a Proton Therapy System
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
Requirement progression in problem frames: deriving specifications from requirements
Requirements Engineering
Problem Oriented Software Engineering: Solving the Package Router Control Problem
IEEE Transactions on Software Engineering
Proceedings of the 5th India Software Engineering Conference
An approach for selecting implementation strategies of non-functional requirements
Proceedings of the Fourth Asia-Pacific Symposium on Internetware
| Hi-index | 0.00 |
One of the problems with current practice in software development is that customer requirements are often not well captured, understood and analysed, and there is no clear traceable path from customer requirements to software specifications. This often leads to a mismatch between what the customer needs and what the software developer understands the customer needs. In addition to capturing, understanding and analysing requirements, requirements engineering (RE) aims to provide methods to allow software development practitioners to derive software specifications from requirements. Although work exists towards this aim, the systematic derivation of specifications from requirements remains an open problem. This paper provides a practical technique to implement the idea of problem progression as the basis for transforming requirements into specifications. The technique allows us to progress a software problem towards identifying its solution by carefully investigating the problem context and re-expressing the requirement statement until a specification is reached.