{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:12:34Z","timestamp":1742400754084,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540751007"},{"type":"electronic","value":"9783540751014"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-75101-4_23","type":"book-chapter","created":{"date-parts":[[2007,9,21]],"date-time":"2007-09-21T09:15:29Z","timestamp":1190366129000},"page":"252-257","source":"Crossref","is-referenced-by-count":5,"title":["Safety Process Improvement with POSE and Alloy"],"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":"23_CR1","volume-title":"The Z-Notation - A Reference Manual","author":"J.M. Spivey","year":"1992","unstructured":"Spivey, J.M.: The Z-Notation - A Reference Manual, 2nd edn. Prentice-Hall, Englewood Cliffs (1992)","edition":"2"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Mannering, D., Hall, J.G., Rapanotti, L.: Towards normal design for safety-critical systems. In: Proceedings of FASE 2007, pp. 398\u2013411 (2007)","DOI":"10.1007\/978-3-540-71289-3_30"},{"key":"23_CR3","volume-title":"Software Abstractions Logic, Language & Analysis","author":"D. Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions Logic, Language & Analysis. MIT Press, Cambridge (2006)"},{"key":"23_CR4","volume-title":"Introduction to Metamathematics","author":"S. Kleene","year":"1964","unstructured":"Kleene, S.: Introduction to Metamathematics. Van Nostrand, Princeton (1964)"},{"key":"23_CR5","unstructured":"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)"},{"key":"23_CR6","unstructured":"Hall, J.G., Rapanotti, L., Jackson, M.A.: Problem oriented software engineering. Technical Report 2006\/10, Open University, Dept. of Computing (2006)"},{"key":"23_CR7","volume-title":"Problem frames : analysing and structuring software development problems","author":"M.A. Jackson","year":"2001","unstructured":"Jackson, M.A.: Problem frames: analysing and structuring software development problems. Addison-Wesley, Harlow (2001)"},{"key":"23_CR8","unstructured":"SAE: ARP4761: Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment. Technical report (1996)"},{"issue":"1","key":"23_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/237432.237434","volume":"VI","author":"P. Zave","year":"1997","unstructured":"Zave, P., Jackson, M.: Four dark corners of requirements engineering. ACM Transactions on Software Engineering and Methodology\u00a0VI(1), 1\u201330 (1997)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"23_CR10","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":"23_CR11","doi-asserted-by":"crossref","unstructured":"van Lamsweerde, A.: Requirements engineering in the year 00: A research perspective. In: 22nd ICSE 2000, Limerick (2000)","DOI":"10.1145\/337180.337184"},{"key":"23_CR12","volume-title":"IEEE Aerospace Conference","author":"C. Heitmeyer","year":"2007","unstructured":"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)"},{"key":"23_CR13","volume-title":"Proceedings of the third workshop on Formal methods in software practice 2000","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 2000, Portland, Oregon, ACM Press, New York (2000)"},{"key":"23_CR14","volume-title":"Proceedings of the Safety-critical Systems Symposium","author":"M. Cruz da","year":"2007","unstructured":"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)"},{"key":"23_CR15","unstructured":"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)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75101-4_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T04:06:48Z","timestamp":1737432408000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75101-4_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540751007","9783540751014"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75101-4_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}