The Z notation: a reference manual
The Z notation: a reference manual
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Documentation for safety critical software
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
Completeness in formal specification language design for process-control systems
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Problem frames: analyzing and structuring software development problems
Problem frames: analyzing and structuring software development problems
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
Towards normal design for safety-critical systems
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Implementable requirements in problem orientation
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Software engineering as the design theoretic transformation of software problems
Innovations in Systems and Software Engineering
Design rationale capture for process improvement in the globalised enterprise: an industrial study
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
Safety Standards demand that applications demonstrate they have the required safety integrity, starting with the initial requirements phase. This paper shows how the Problem Oriented Software Engineering (POSE) framework, in conjunction with the Alloy formal method, supports this task through its ability to elaborate, transform and analyse the project requirements. The results of applying this combination to an existing design showed that process improvement can be realised through its ability to detect anomalies early in the life cycle that had previously been detected by much later (and more costly) validation work.