{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T17:47:28Z","timestamp":1743875248620,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319278681"},{"type":"electronic","value":"9783319278698"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-27869-8_1","type":"book-chapter","created":{"date-parts":[[2016,1,4]],"date-time":"2016-01-04T09:44:07Z","timestamp":1451900647000},"page":"3-17","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Safety Case Development with SBVR-Based Controlled Language"],"prefix":"10.1007","author":[{"given":"Yaping","family":"Luo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"van den Brand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Kiburse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,5]]},"reference":[{"key":"1_CR1","unstructured":"EUR Whole Airspace ATM System Safety Case (2001). \n                    http:\/\/dependability.cs.virginia.edu\/research\/safetycases\/EUR_WholeAirspace.pdf"},{"key":"1_CR2","unstructured":"Tube Lines Contractual Safety Case (2004). \n                    http:\/\/dependability.cs.virginia.edu\/research\/safetycases\/Tube_Lines.pdf"},{"key":"1_CR3","unstructured":"GSN Community Standard Version 1 (2011). \n                    http:\/\/www.goalstructuringnotation.info\/documents\/GSN_Standard.pdf"},{"key":"1_CR4","unstructured":"Software Consideration in Airborne Systems and Equipment Certification: RTCA DO-178C, December 2011"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Barry, M.R.: CertWare: a workbench for safety case production and analysis (2011)","DOI":"10.1109\/AERO.2011.5747648"},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-1-4471-1534-2_14","volume-title":"Industrial Perspectives of Safety-Critical Systems","author":"P Bishop","year":"1998","unstructured":"Bishop, P., Bloomfield, R.: A methdology for safety case development. In: Redmill, F., Anderson, T. (eds.) Industrial Perspectives of Safety-Critical Systems, pp. 194\u2013203. Springer, London (1998)"},{"issue":"4","key":"1_CR7","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1016\/j.is.2008.12.002","volume":"35","author":"J Cabot","year":"2010","unstructured":"Cabot, J., Pau, R., Ravent\u00f3s, R.: From UML\/OCL to SBVR specifications: a challenging transformation. Inf. Syst. 35(4), 417\u2013440 (2010)","journal-title":"Inf. Syst."},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"1083","DOI":"10.1007\/11893011_137","volume-title":"Knowledge-Based Intelligent Information and Engineering Systems","author":"M Tommasi De","year":"2006","unstructured":"De Tommasi, M., Corallo, A.: SBEAVER: a tool for modeling business vocabularies and business rules. In: Gabrys, B., Howlett, R.J., Jain, L.C. (eds.) KES 2006. LNCS (LNAI), vol. 4253, pp. 1083\u20131091. Springer, Heidelberg (2006)"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/978-3-642-33675-1_2","volume-title":"Computer Safety, Reliability, and Security","author":"E Denney","year":"2012","unstructured":"Denney, E., Pai, G., Pohl, J.: AdvoCATE: an assurance case automation toolset. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP Workshops 2012. LNCS, vol. 7613, pp. 8\u201321. Springer, Heidelberg (2012)"},{"key":"1_CR10","unstructured":"EUROCONTROL: Safety Case Development Manual (2006). \n                    http:\/\/www.eurocontrol.int\/sites\/default\/files\/article\/content\/documents\/nm\/link2000\/safety-case-development-manual-v2.2-ri-13nov06.pdf"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/978-3-319-10506-2_10","volume-title":"Computer Safety, Reliability, and Security","author":"PJ Graydon","year":"2014","unstructured":"Graydon, P.J.: Towards a clearer understanding of context and its role in assurance argument confidence. In: Bondavalli, A., Di Giandomenico, F. (eds.) SAFECOMP 2014. LNCS, vol. 8666, pp. 139\u2013154. Springer, Heidelberg (2014)"},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-0-85729-133-2_1","volume-title":"Advances in Systems Safety","author":"R Hawkins","year":"2011","unstructured":"Hawkins, R., Kelly, T., Knight, J., Graydon, P.: A new approach to creating clear safety arguments. In: Dale, A., Anderson, T. (eds.) Advances in Systems Safety, pp. 3\u201323. Springer, London (2011)"},{"key":"1_CR13","unstructured":"ISO: ISO 26262: \u201cRoad Vehicles - Functional Safety\u201d (2011)"},{"key":"1_CR14","unstructured":"Kelly, T.: Arguing Safety - A Systematic Approach to Managing Safety Cases. Ph.D. thesis, University Of York (1998)"},{"key":"1_CR15","unstructured":"Kelly, T., Weaver, R.: The goal structuring notation - a safety argument notation. In: Proceedings of Dependable Systems and Networks 2004 Workshop on Assurance Cases (2004)"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-540-69927-9_4","volume-title":"Theory and Practice of Model Transformations","author":"DS Kolovos","year":"2008","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The epsilon transformation language. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 46\u201360. Springer, Heidelberg (2008)"},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/978-3-319-12206-9_16","volume-title":"Conceptual Modeling","author":"Y Luo","year":"2014","unstructured":"Luo, Y., van den Brand, M., Engelen, L., Klabbers, M.: From conceptual models to safety assurance. In: Yu, E., Dobbie, G., Jarke, M., Purao, S. (eds.) ER 2014. LNCS, vol. 8824, pp. 195\u2013208. Springer, Heidelberg (2014)"},{"key":"1_CR18","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/978-3-319-08422-0_50","volume-title":"Progress in Systems Engineering","author":"Y Luo","year":"2015","unstructured":"Luo, Y., van den Brand, M., Engelen, L., Klabbers, M.: A modeling approach to support safety assurance in the automotive domain. In: Selvaraj, H., Zydek, D., Chmaj, G. (eds.) Progress in Systems Engineering. Advances in Intelligent Systems and Computing, vol. 330, pp. 339\u2013345. Springer International Publishing, Switzerland (2015)"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/978-3-642-38977-1_13","volume-title":"Safe and Secure Software Reuse","author":"Y Luo","year":"2013","unstructured":"Luo, Y., van den Brand, M., Engelen, L., Favaro, J., Klabbers, M., Sartori, G.: Extracting models from ISO 26262 for reusable safety assurance. In: Favaro, J., Morisio, M. (eds.) ICSR 2013. LNCS, vol. 7925, pp. 192\u2013207. Springer, Heidelberg (2013)"},{"key":"1_CR20","unstructured":"Matsuno, Y.: D-Case Editor: A Typed Assurance Case Editor. University of Tokyo (2011)"},{"key":"1_CR21","unstructured":"Defence Standard 00-55 Part 1 (1997). \n                    http:\/\/www.software-supportability.org\/Docs\/00-55_Part_1.pdf"},{"key":"1_CR22","unstructured":"Nemuraite, L., Skersys, T., Sukys, A., Sinkevicius, E., Ablonskis, L.: VeTIS Tool for Editing and Transforming SBVR Business Vocabularies and Business Rules into UML & OCL Models (2010)"},{"key":"1_CR23","unstructured":"OMG: SBVR: Semantics Of Business Vocabulary And Rules (version 1.2), Sepetember 2013"},{"key":"1_CR24","unstructured":"Safety Case Repository (2013). \n                    http:\/\/dependability.cs.virginia.edu\/info\/Safety_Cases:Repository"},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-642-14418-9_10","volume-title":"Controlled Natural Language","author":"S Spreeuwenberg","year":"2010","unstructured":"Spreeuwenberg, S., Healy, K.A.: SBVR\u2019s approach to controlled natural language. In: Fuchs, N.E. (ed.) CNL 2009. LNCS, vol. 5972, pp. 155\u2013169. Springer, Heidelberg (2010)"},{"key":"1_CR26","unstructured":"Taguchi, K.: Meta Modeling Approach to Safety Standard for Consumer Devices (2013)"}],"container-title":["Communications in Computer and Information Science","Model-Driven Engineering and Software Development"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-27869-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T07:59:11Z","timestamp":1558511951000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-27869-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319278681","9783319278698"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-27869-8_1","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"5 January 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}