{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:02:46Z","timestamp":1742382166655,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540712886"},{"type":"electronic","value":"9783540712893"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71289-3_30","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T20:03:44Z","timestamp":1183493024000},"page":"398-411","source":"Crossref","is-referenced-by-count":7,"title":["Towards Normal Design for Safety-Critical Systems"],"prefix":"10.1007","author":[{"given":"Derek","family":"Mannering","sequence":"first","affiliation":[]},{"given":"Jon G.","family":"Hall","sequence":"additional","affiliation":[]},{"given":"Lucia","family":"Rapanotti","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"30_CR1","doi-asserted-by":"crossref","DOI":"10.56021\/9780801839740","volume-title":"What Engineers Know and How They Know It: Analytical Studies from Aeronautical History","author":"W.G. Vincenti","year":"1990","unstructured":"Vincenti, W.G.: What Engineers Know and How They Know It: Analytical Studies from Aeronautical History. The Johns Hopkins University Press, Baltimore (1990)"},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"Maibaum, T.: Mathematical foundations of software engineering: a roadmap. In: ICSE 2000, King\u2019s College, London (2000)","DOI":"10.1145\/336512.336548"},{"issue":"14","key":"30_CR3","doi-asserted-by":"publisher","first-page":"903","DOI":"10.1016\/j.infsof.2005.08.004","volume":"47","author":"M. Jackson","year":"2005","unstructured":"Jackson, M.: Problem frames and software engineering. Information and Software Technology\u00a047(14), 903\u2013912 (2005)","journal-title":"Information and Software Technology"},{"key":"30_CR4","unstructured":"Mannering, D., Hall, J.G., Rapanotti, L.: Relating safety requirements and system design through problem oriented software engineering. Technical Report 2006\/11, Open University, Dept. of Computing (2006)"},{"key":"30_CR5","unstructured":"Hall, J.G., Rapanotti, L., Jackson, M.A.: Problem oriented software engineering. Technical Report 2006\/10, Open University, Dept. of Computing (2006)"},{"key":"30_CR6","volume-title":"Problem Frames: Analyzing and Structuring Software Development Problem","author":"M.A. Jackson","year":"2001","unstructured":"Jackson, M.A.: Problem Frames: Analyzing and Structuring Software Development Problem, 1st edn. Addison-Wesley, Reading (2001)","edition":"1"},{"volume-title":"Proceedings of ICSE 1st International Workshop on Applications and Advances of Problem Frames","year":"2004","key":"30_CR7","unstructured":"Cox, K., Hall, J.G., Rapanotti, L. (eds.): Proceedings of ICSE 1st International Workshop on Applications and Advances of Problem Frames. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"30_CR8","doi-asserted-by":"crossref","unstructured":"Cox, K., Hall, J.G., Rapanotti, L. (eds.): Journal of Information and Software Technology (Special issue on Problem Frames) 47 (November 2005)","DOI":"10.1016\/j.infsof.2005.08.003"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"Hall, J.G., Rapanotti, L., Cox, K., Jin, Z.: Proceedings of the 2nd International Workshop on Advances and Applications of Problem Frames, ACM SIGSOFT (2006)","DOI":"10.1145\/1138670.1138671"},{"key":"30_CR10","unstructured":"SAE: ARP4761: Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment. Technical report (December 1996)"},{"issue":"1","key":"30_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/237432.237434","volume":"6","author":"P. Zave","year":"1997","unstructured":"Zave, P., Jackson, M.: Four dark corners of requirements engineering. ACM Transactions on Software Engineering and Methodology\u00a06(1), 1\u201330 (1997)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"30_CR12","doi-asserted-by":"crossref","unstructured":"Courtois, P.J., Parnas, D.L.: Documentation for safety critical software. In: 15th International Conference on Software Engineering, Baltimore, USA, pp. 315\u2013323 (1997)","DOI":"10.1109\/ICSE.1993.346033"},{"key":"30_CR13","doi-asserted-by":"crossref","unstructured":"van Lamsweerde, A.: Requirements engineering in the year 00: A research perspective. In: ICSE\u201900, 22nd International Conference on Software Engineering, Limerick (2000)","DOI":"10.1145\/337180.337184"},{"key":"30_CR14","doi-asserted-by":"crossref","unstructured":"Bharadwaj, R., Heitmeyer, C.: Developing high assurance avionics systems with the SCR requirements method. In: Proceedings of the 19th DASC, vol.\u00a01, pp. 1D1\/1 \u20131D1\/8 (2000)","DOI":"10.1109\/DASC.2000.886888"},{"key":"30_CR15","volume-title":"Proceedings of the third workshop on Formal methods in software practice","author":"N.G. Leveson","year":"2000","unstructured":"Leveson, N.G.: Completeness in formal specification language design for process-control systems. In: Proceedings of the third workshop on Formal methods in software practice, Portland, Oregon, ACM Press, New York (2000)"},{"issue":"1","key":"30_CR16","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1109\/32.825764","volume":"26","author":"N.G. Leveson","year":"2000","unstructured":"Leveson, N.G.: Intent specifications: An approach to building human-centered specifications. IEEE Transactions on Software Engineering\u00a026(1), 15\u201335 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"30_CR17","unstructured":"de Lemos, R., Saeed, A., Anderson, T.: On the integration of requirements analysis and safety analysis for safety-critical systems. Technical Report University of Newcastle upon Tyne (1998), http:\/\/citeseer.ist.psu.edu\/536230.html"},{"key":"30_CR18","doi-asserted-by":"crossref","unstructured":"UK-MoD: Safety management requirements for defence systems part 1 requirements. Interim Defence Standard 00-56 Issue 3, MoD (17 December 2004)","DOI":"10.1049\/ic:20050407"},{"key":"30_CR19","unstructured":"RTCA\/DO-178B: Software considerations in airborne systems and equipment certification. Technical report (December 1, 1992)"},{"issue":"1","key":"30_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/237432.237434","volume":"6","author":"P. Zave","year":"1997","unstructured":"Zave, P., Jackson, M.A.: Four dark corners of requirements engineering. ACM Transactions on Software Engineering and Methodology\u00a06(1), 1\u201330 (1997)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"3","key":"30_CR21","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1109\/52.896248","volume":"17","author":"C.A. Gunter","year":"2000","unstructured":"Gunter, C.A., Gunter, E.L., Jackson, M., Zave, P.: A reference model for requirements and specifications. IEEE Software\u00a017(3), 37\u201343 (2000)","journal-title":"IEEE Software"},{"issue":"9","key":"30_CR22","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1145\/130994.131006","volume":"35","author":"P. Coad","year":"1992","unstructured":"Coad, P.: Object oriented patterns. Communications of the ACM\u00a035(9), 152\u2013160 (1992)","journal-title":"Communications of the ACM"},{"key":"30_CR23","unstructured":"Rapanotti, L., Hall, J.G., Jackson, M.: Problem-oriented software engineering: solving the package router control problem. Technical report 2006\/07, Open University, Dept. of Computing (2006)"},{"issue":"5","key":"30_CR24","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1049\/ip-sen:20060011","volume":"153","author":"L. Rapanotti","year":"2006","unstructured":"Rapanotti, L., Hall, J.G., Li, Z.: Deriving specifications from requirements through problem reduction. IEE Proceedings, Software\u00a0153(5), 183\u2013210 (2006)","journal-title":"IEE Proceedings, Software"},{"key":"30_CR25","unstructured":"Mannering, D., Hall, J.G., Rapanotti, L.: A problem-oriented approach to normal design for safety-critical systems. Technical Report 2006\/14, Centre for Research in Computing (2006)"},{"key":"30_CR26","unstructured":"Vesely, W., Goldberg, F., Roberts, N., Haasl, D.: Fault Tree Handbook. Volume NUREG-0492. U.S. Nuclear Regulatory Commission (1981)"},{"key":"30_CR27","doi-asserted-by":"crossref","unstructured":"Hilton, A.J., Townson, G., Hall, J.G.: FPGAs in critical hardware\/software systems. In: FPGA 2003, Proceedings of the ACM\/SIGDA International Symposium on Field Programmable Gate Arrays, p. 244 (2003)","DOI":"10.1145\/611817.611871"},{"key":"30_CR28","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1145\/1081180.1081190","volume-title":"FMICS \u201905: Proceedings of the 10th international workshop on Formal methods for industrial critical systems","author":"A. Hilton","year":"2005","unstructured":"Hilton, A., Hall, J.G.: Developing critical systems with PLD components. In: Margaria, T., Massink, M. (eds.) FMICS \u201905: Proceedings of the 10th international workshop on Formal methods for industrial critical systems, pp. 72\u201379. ACM Press, New York (2005)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71289-3_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T04:17:17Z","timestamp":1737173837000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71289-3_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540712886","9783540712893"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71289-3_30","relation":{},"subject":[]}}