{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:43:15Z","timestamp":1725615795187},"publisher-location":"London","reference-count":12,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540761914"},{"type":"electronic","value":"9781447109976"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/978-1-4471-0997-6_4","type":"book-chapter","created":{"date-parts":[[2011,9,30]],"date-time":"2011-09-30T16:07:46Z","timestamp":1317398866000},"page":"37-51","source":"Crossref","is-referenced-by-count":3,"title":["Towards Dependable Software Requirement Specifications"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Scheer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Maier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Maier T: FMEA and FTA to Support Safe Design of Embedded Software in Safety-Critical Systems. In: Proc. of the 12th Workshop and 1st ENCRESS Conference. Brugge, 1995."},{"key":"4_CR2","unstructured":"Ratan V, Partridge K, Reese J, Leveson: Safety Analysis Tools for Requirements Specifications. In: Proc. of the ll^1 Annual Conference on Computer Assurance (COMPASS\u201996). Gaithersburg, 1996."},{"key":"4_CR3","unstructured":"Carpignano A, Poucet A, Scheer S:STARS Project: System Modelling and Reliability Analysis Modules, User Manual. Commission of the European Communities, Joint Research Centre. Ispra, 1992."},{"key":"4_CR4","unstructured":"ESA Board for Software Standardisation and Control: Guide to the Software Requirements Definition Phase, PSS-05-03, Issue 1. 1991."},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Leveson N, Harvey P: Analyzing Software Safety. IEEE Transactions on Software Engineering, SE-9, Vol. 5. 1983.","DOI":"10.1109\/TSE.1983.235116"},{"key":"4_CR6","volume-title":"Proc. Safety of Computer Control Systems 1992 (SAFECOMP \u201992)","author":"MF Chudleigh","year":"1992","unstructured":"Chudleigh M F, Catmur J R: Safety Assessment of Computer Systems Using HAZOP and Audit Techniques. In: Proc. Safety of Computer Control Systems 1992 (SAFECOMP \u201992), ed.: Frey H H. Pergamon Press. 1992."},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Fenelon P, McDermid J A: An Integrated Toolset for Software Safety Analysis. Journal of Systems and Software, Vol. 21. 1993.","DOI":"10.1016\/0164-1212(93)90029-W"},{"key":"4_CR8","unstructured":"Jackson T, McDermid J A, Wand I, Wilikens M (Editor): Dependability Measurement of Safety Critical Systems Models and Data Refinement. Technical Note 1.95.43. European Commission, Joint Research Centre. Ispra. 1995."},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Laprie J C: Dependability of Computer Systems: Concepts, Limits, Improvements. In: Proc. of the Intern. Symposium on Software Reliability Engineering (ISSRE\u201995). Toulouse. 1995.","DOI":"10.1109\/ISSRE.1995.497638"},{"key":"4_CR10","unstructured":"Lutz R, Woodhouse R: Experience Report: Contributions of SFMEA to Requirements Analysis. ICRE. 1996."},{"key":"4_CR11","unstructured":"Ruiz Morales E: Software Requirements Document for the Robertino Control System. Technical Note 1.94.161. European Commission, Joint Research Centre. Ispra. 1994."},{"key":"4_CR12","unstructured":"Scheer S, Maier T: Methodology and Tools for the Specification of Safe Software Embedded in Technical Systems, Part A: Development of a Supporting Methodology. Technical Note 1.96.132. European Commission, Joint Research Centre. Ispra. 1996."}],"container-title":["Safe Comp 97"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-0997-6_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T05:44:41Z","timestamp":1605678281000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-0997-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540761914","9781447109976"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-0997-6_4","relation":{},"subject":[],"published":{"date-parts":[[1997]]}}}