implementable requirements in problem orientation
The goal of this paper is to demonstrate how Problem Oriented Software Engineering (POSE), an extension and generalisation of Problem Frames, supports the systematic transformation of requirements from overall system level requirements through to specific requirements that can be implemented by the machine to be designed. We will apply POSE in the context of safety systems development, which particularly benefits from the ability of POSE to distinguish between the extant, indicative properties of the environment and the desired properties expressed as the requirements.
problem orientation safety requirements transformation