Safeware: system safety and computers
Safeware: system safety and computers
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Targeting safety-related errors during software requirements analysis
Journal of Systems and Software
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
Problem frames: analyzing and structuring software development problems
Problem frames: analyzing and structuring software development problems
Agent-based tactics for goal-oriented requirements elaboration
Proceedings of the 24th International Conference on Software Engineering
Software Hazard and Safety Analysis
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
Problem Oriented Software Engineering: A design-theoretic framework for software engineering
SEFM '07 Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods
Arguing safety with Problem Oriented Software Engineering
HASE '07 Proceedings of the 10th IEEE High Assurance Systems Engineering Symposium
Problem Oriented Software Engineering: Solving the Package Router Control Problem
IEEE Transactions on Software Engineering
Problem frames and software engineering
Information and Software Technology
Towards normal design for safety-critical systems
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Safety process improvement with POSE and alloy
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Bridging the gap between requirements and design: An approach based on Problem Frames and SysML
Journal of Systems and Software
Hi-index | 0.00 |
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.