Communications of the ACM - Special issue on analysis and modeling in software development
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
Intent Specifications: An Approach to Building Human-Centered Specifications
IEEE Transactions on Software Engineering
Mathematical foundations of software engineering: a roadmap
Proceedings of the Conference on The Future of 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
FPGAs in critical hardware/software systems
FPGA '03 Proceedings of the 2003 ACM/SIGDA eleventh international symposium on Field programmable gate arrays
A Reference Model for Requirements and Specifications
IEEE Software
On the Integration of Requirements Analysis and Safety Analysis for Safety-Critical Systems
On the Integration of Requirements Analysis and Safety Analysis for Safety-Critical Systems
Developing critical systems with PLD components
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
2nd international workshop on advances and applications of problem frames
Proceedings of the 2006 international workshop on Advances and applications of problem frames
Editorial: A roadmap of problem frames research
Information and Software Technology
Problem frames and software engineering
Information and Software Technology
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
Safety process improvement with POSE and alloy
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Hi-index | 0.00 |
Normal design is, essentially, when an engineer knows that the design they are working on will work. Routine 'traditional' engineering works through normal design. Software engineering has more often been assessed as being closer to radical design, i.e., repeated innovation. One of the aims of the Problem Oriented Software Engineering framework (POSE) is to provide a foundation for software engineering to be considered an application of normal design. To achieve this software engineering must mesh with traditional, normal forms of engineering, such as aeronautical engineering. The POSE approach for normalising software development, from early requirements through to code (and beyond), is to provide a structure within which the results of different development activities can be recorded, combined and reconciled. The approach elaborates, transforms and analyses the project requirements, reasons about the effect of (partially detailed) candidate architectures, and audits design rationale through iterative development, to produce a justified (where warranted) fit-for-purpose solution. In this paper we show how POSE supports the development task of a safety-critical system. A normal 'pattern of development' for software safety under POSE is proposed and validated through its application to an industrial case study.