Safety process improvement with POSE and alloy

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4680 LNCS, Issue , 2007, Pages 252-257

  Mannering, Derek ^a   Hall, Jon G ^b   Rapanotti, Lucia ^b  

^a General Dynamics UK Limited   (United Kingdom)

^b Open University

Author keywords

[No Author keywords available]

Indexed keywords

PROJECT MANAGEMENT; SECURITY OF DATA;

PROBLEM ORIENTED SOFTWARE ENGINEERING (POSE); PROJECT REQUIREMENTS;

SOFTWARE ENGINEERING;

EID: 38149141689     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75101-4_23     Document Type: Conference Paper

References (15)

1. Spivey, J.M.: The Z-Notation - A Reference Manual, 2nd edn. Prentice-Hall, Englewood Cliffs (1992)
2. Mannering, D., Hall, J.G., Rapanotti, L.: Towards normal design for safety-critical systems. In: Proceedings of FASE 2007, pp. 398-411 (2007)
3. Jackson, D.: Software Abstractions Logic, Language & Analysis. MIT Press, Cambridge (2006)
4. Kleene, S.: Introduction to Metamathematics. Van Nostrand, Princeton (1964)
5. Hall, J.G., Rapanotti, L., Jackson, M.: Problem oriented software engineering: Formality and the real world. In: Proceedings of IEEE Software Engineering Formal Methods (SEFM 2007), London, UK, IEEE Computer Society Press, Los Alamitos (to appear, 2007)
6. Hall, J.G., Rapanotti, L., Jackson, M.A.: Problem oriented software engineering. Technical Report 2006/10, Open University, Dept. of Computing (2006)
7. Jackson, M.A.: Problem frames: analysing and structuring software development problems. Addison-Wesley, Harlow (2001)
8. SAE: ARP4761: Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment. Technical report (1996)
9. Zave, P., Jackson, M.: Four dark corners of requirements engineering. ACM Transactions on Software Engineering and Methodology VI(1), 1-30 (1997)
10. Courtois, P.J., Parnas, D.L.: Documentation for safety critical software. In: 15th International Conference on Software Engineering, Baltimore, USA, pp. 315-323 (1997)
11. van Lamsweerde, A.: Requirements engineering in the year 00: A research perspective. In: 22nd ICSE'00, Limerick (2000)
12. Heitmeyer, C., Jeffords, R.: Applying a formal requirements method to three NASA systems: Lessons learned. In: IEEE Aerospace Conference, Big Sky, MT, IEEE Computer Society Press, Los Alamitos (2007)
13. Leveson, N.G.: Completeness in formal specification language design for processcontrol systems. In: Proceedings of the third workshop on Formal methods in software practice 2000, Portland, Oregon, ACM Press, New York (2000)
14. da Cruz, M., Raistrick, P.: Ambers: Improving requirements specification through assertive models and scade/doors integration. In: Proceedings of the Safety-critical Systems Symposium, Bristol, UK, Springer, Heidelberg (2007)
15. Rapanotti, L., Hall, J.G., Jackson, M.A.: Problem transformations in solving the package router control problem. Technical Report 2006/07, Computing Department, The Open University (2006)