This Project's

Research Team



Problem Oriented Software Engineering

Theme: Software and Engineering Design

POSE is a development framework that brings together many non-formal and formal aspects of engineering design, providing a structure within which the results of different design activities can be combined and reconciled. Essentially, the structure is the structure of the progressive solution of a system development problem; it is also the structure of the adequacy argument that must eventually justify the developed system. POSE does not prescribe any particular development process; rather it identifies steps of development which may be accommodated within the development process chosen. POSE is formulated as a Gentzen-style sequent calculus whose sequents are problems, and whose transformations are characterised formally together with the conditions for their applicability. In POSE, a problem P requiring a solution S is seen as requirements R in (a real-world) context W; that is, a problem is a W,S,R-triple, challenging us to find S that in context of W satisfies R. Other notions of problem are also considered. POSE-based research develops or is motivated by this calculus.