{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T19:57:24Z","timestamp":1743105444097,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319478456"},{"type":"electronic","value":"9783319478463"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47846-3_1","type":"book-chapter","created":{"date-parts":[[2016,10,14]],"date-time":"2016-10-14T06:53:57Z","timestamp":1476428037000},"page":"1-17","source":"Crossref","is-referenced-by-count":0,"title":["A (Proto) Logical Basis for the Notion of a Structured Argument in a Safety Case"],"prefix":"10.1007","author":[{"given":"Valent\u00edn","family":"Cassano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas S. E.","family":"Maibaum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Silviya","family":"Grigorova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,15]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511840005","volume-title":"The Uses of Argument","author":"S Toulmin","year":"2003","unstructured":"Toulmin, S.: The Uses of Argument. Cambridge University Press, Cambridge (2003)"},{"key":"1_CR2","unstructured":"The GSN Working Group: Goal Structuring Notation. Version 1, November 2011"},{"key":"1_CR3","unstructured":"Adelard: Claim, Argument, Evidence Notation. Accessed 25 Jan 2016"},{"key":"1_CR4","volume-title":"How to Solve It","author":"G P\u00f3lya","year":"2004","unstructured":"P\u00f3lya, G.: How to Solve It, 2nd edn. Princeton University Press, Princeton (2004)","edition":"2"},{"key":"1_CR5","volume-title":"Requirements Engineering: From System Goals to UML Models to Software Specifications","author":"A Lamsweerde van","year":"2009","unstructured":"van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley, Hoboken (2009)"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-40793-2_1","volume-title":"Computer Safety, Reliability, and Security","author":"J Rushby","year":"2013","unstructured":"Rushby, J.: Logic and epistemology in safety cases. In: Bitsch, F., Guiochet, J., Ka\u00e2niche, M. (eds.) SAFECOMP 2013. LNCS, vol. 8153, pp. 1\u20137. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-40793-2_1"},{"key":"1_CR7","first-page":"555","volume-title":"Handbook of the History of Logic: The Many Valued and Nonmonotonic Turn in Logic","author":"A Bochman","year":"2007","unstructured":"Bochman, A.: Non-monotonic reasoning. In: Gabbay, D., Woods, J. (eds.) Handbook of the History of Logic: The Many Valued and Nonmonotonic Turn in Logic, vol. 8, pp. 555\u2013632. North-Holland, Amsterdam (2007)"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Goodenough, J., Weinstock, C., Klein, A.: Eliminative induction: a basis for arguing system confidence. In: 35th International Conference on Software Engineering (ICSE 2013), pp. 1161\u20131164 (2013)","DOI":"10.1109\/ICSE.2013.6606668"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Bloomfield, R., Littlewood, B.: Multi-legged arguments: the impact of diversity upon confidence in dependability arguments. In: International Conference on Dependable Systems and Networks (DSN 2003), pp. 25\u201334 (2003)","DOI":"10.1109\/DSN.2003.1209913"},{"key":"1_CR10","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 Vincenti","year":"1993","unstructured":"Vincenti, W.: What Engineers Know and How They Know It: Analytical Studies from Aeronautical History. Johns Hopkins University Press, Baltimore (1993)"},{"key":"1_CR11","unstructured":"UK Ministry of Defense: Defence standard 00\u201356 issue 4: safety management requirements for defence systems (2007)"},{"issue":"4","key":"1_CR12","first-page":"288","volume":"1","author":"G Gentzen","year":"1964","unstructured":"Gentzen, G.: Investigations into logical deduction. Am. Philos. Q. 1(4), 288\u2013306 (1964)","journal-title":"Am. Philos. Q."},{"key":"1_CR13","unstructured":"Prawitz, D.: Natural Deduction: A Proof-theoretical Study. AWE (1965)"},{"key":"1_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-4558-5","volume-title":"Logic and Structure","author":"D Dalen van","year":"2013","unstructured":"van Dalen, D.: Logic and Structure, 5th edn. Springer, Heidelberg (2013)","edition":"5"},{"key":"1_CR15","volume-title":"An Introduction to the Philosophy of Science","author":"R Carnap","year":"1966","unstructured":"Carnap, R.: An Introduction to the Philosophy of Science, 5th edn. Dover, Mineola (1966)","edition":"5"},{"issue":"10","key":"1_CR16","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C Hoare","year":"1969","unstructured":"Hoare, C.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576\u2013580 (1969)","journal-title":"Commun. ACM"},{"key":"1_CR17","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/978-94-007-1078-8_6","volume-title":"Anyone Who Has a View: Theoretical Contributions to the Study of Argumentation","author":"D Hitchcock","year":"2003","unstructured":"Hitchcock, D.: Toulmin\u2019s warrants. In: van Eemeren, F., et al. (eds.) Anyone Who Has a View: Theoretical Contributions to the Study of Argumentation, vol. 8, pp. 69\u201382. Springer, Heidelberg (2003)"},{"key":"1_CR18","first-page":"1","volume-title":"Handbook of Philosophical Logic","author":"L \u00c5qvist","year":"2002","unstructured":"\u00c5qvist, L.: Deontic logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 8, 2nd edn, pp. 1\u201312. Springer, Heidelberg (2002)","edition":"2"},{"key":"1_CR19","volume-title":"Philosophy of Natural Science","author":"C Hempel","year":"1966","unstructured":"Hempel, C.: Philosophy of Natural Science. Prentice Hall, Upper Saddle River (1966)"},{"key":"1_CR20","doi-asserted-by":"crossref","DOI":"10.1093\/0195143892.001.0001","volume-title":"The Book of Evidence","author":"P Achinstein","year":"2001","unstructured":"Achinstein, P.: The Book of Evidence. Oxford University Press, Oxford (2001)"},{"key":"1_CR21","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139626866","volume-title":"Evidence Matters: Science, Proof, and Truth in the Law","author":"S Haack","year":"2014","unstructured":"Haack, S.: Evidence Matters: Science, Proof, and Truth in the Law. Cambridge University Press, Cambridge (2014)"},{"key":"1_CR22","volume-title":"Error and Inference: Recent Exchanges on Experimental Reasoning, Reliability, and the Objectivity and Rationality of Science","author":"D Mayo","year":"2010","unstructured":"Mayo, D., Spanos, A.: Error and Inference: Recent Exchanges on Experimental Reasoning, Reliability, and the Objectivity and Rationality of Science. Oxford University Press, Oxford (2010)"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"McDermid, J.: Safety arguments, software and system reliability. In: 2nd International Symposium on Software Reliability Engineering (ISSRE 1991), pp. 43\u201350 (1991)","DOI":"10.1109\/ISSRE.1991.145352"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47846-3_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,19]],"date-time":"2024-06-19T22:56:57Z","timestamp":1718837817000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47846-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319478456","9783319478463"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47846-3_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}