Can I read Problem Frame Transformations: Deriving Specifications from Requirements on EtoBox?

Problem Frame Transformations: Deriving Specifications from Requirements by Robert Seater; Daniel Jackson is a scholarly article available to read on EtoBox.

What is Problem Frame Transformations: Deriving Specifications from Requirements about?

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.

Author

Robert Seater; Daniel Jackson

Publisher

ACM

Published

2006

Language

EN