Problem frame transformations: deriving specifications from requirements

Authors:
Robert Seater;Daniel Jackson
Affiliations:
Massachusetts Institute of Technology, Cambridge, Massachusetts, USA;Massachusetts Institute of Technology, Cambridge, Massachusetts, USA
Venue:
Proceedings of the 2006 international workshop on Advances and applications of problem frames
Year:
2006

Citing 15
Cited 4

The weakest prespecification

Information Processing Letters
Deriving specifications from requirements

ICSE '88 Proceedings of the 10th international conference on Software engineering
Goal-directed requirements acquisition

6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Safeware: system safety and computers

Safeware: system safety and computers
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
Four dark corners of requirements engineering

ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal refinement patterns for goal-driven requirements elaboration

SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
On formal requirements modeling languages: RML revisited

ICSE '94 Proceedings of the 16th international conference on Software engineering
A micromodularity mechanism

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Problem frames: analyzing and structuring software development problems

Problem frames: analyzing and structuring software development problems
Software requirements: Are they really a problem?

ICSE '76 Proceedings of the 2nd international conference on Software engineering
Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering

RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Architecture-driven Problem Decomposition

RE '04 Proceedings of the Requirements Engineering Conference, 12th IEEE International
Composing Requirements Using Problem Frames

RE '04 Proceedings of the Requirements Engineering Conference, 12th IEEE International

A requirements analysis framework for open systems requirements engineering

ACM SIGSOFT Software Engineering Notes
Progressing problems from requirements to specifications in problem frames

Proceedings of the 3rd international workshop on Applications and advances of problem frames
Creating design from requirements and use cases: bridging the gap between requirement and detailed design

Proceedings of the 5th India Software Engineering Conference
Software engineering as the design theoretic transformation of software problems

Innovations in Systems and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Problem Frames approach provides a framework for understanding the interaction between software and other system components. It emphasizes decomposing an end-to-end system requirement into a machine specification plus a set of assumptions about domains in the problem world.However, the standard approach does not provide the designer with a means for performing such a decomposition, apart from consulting a catalog of 'frame concern' patterns. We suggest a more systematic method for transforming an end-to-end system requirement into a machine specification plus a set of domain properties.