{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T08:40:07Z","timestamp":1748767207328,"version":"3.41.0"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319295091"},{"type":"electronic","value":"9783319295107"}],"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-29510-7_5","type":"book-chapter","created":{"date-parts":[[2016,1,29]],"date-time":"2016-01-29T14:39:16Z","timestamp":1454078356000},"page":"87-102","source":"Crossref","is-referenced-by-count":4,"title":["Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Gruner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Apurva","family":"Kumar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Maibaum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,30]]},"reference":[{"issue":"2","key":"5_CR1","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/BF01801475","volume":"20","author":"A Arageorgis","year":"1989","unstructured":"Arageorgis, A., Baltas, A.: Demarcating technology from science: problems and problem solving in technology. Zeitschrift f\u00fcr allgemeine Wissenschaftstheorie 20(2), 212\u2013229 (1989)","journal-title":"Zeitschrift f\u00fcr allgemeine Wissenschaftstheorie"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Bj\u00f8rner, D.: Formal software techniques in railway systems. In: Proceedings 9th IFAC Symposium on Control in Transportation Systems, pp. 1\u201312. VDI\/VDE (2000)","DOI":"10.1016\/S1474-6670(17)38131-4"},{"key":"5_CR3","unstructured":"Bj\u00f8rner, D.: TRain: the railway domain. http:\/\/euler.fd.cvut.cz\/railwaydomain\/"},{"key":"5_CR4","volume-title":"Philosophy of Science: From Explanation to Justification","author":"M Bunge","year":"1998","unstructured":"Bunge, M.: Philosophy of Science: From Explanation to Justification, vol. 2, Revised edn. Transaction Publ., Piscataway (1998)","edition":"Revised"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"918","DOI":"10.1016\/j.procs.2014.05.344","volume":"31","author":"A Buzmakov","year":"2014","unstructured":"Buzmakov, A., Kuznetsov, S., Napoli, A.: Is concept stability a measure for pattern selection? Procedia Comput. Sci. 31, 918\u2013927 (2014)","journal-title":"Procedia Comput. Sci."},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-319-05032-4_13","volume-title":"Software Engineering and Formal Methods","author":"A Fantechi","year":"2014","unstructured":"Fantechi, A.: Twenty-five years of formal methods and railways: what next? In: Counsell, S., N\u00fa\u00f1ez, M. (eds.) SEFM 2013. LNCS, vol. 8368, pp. 167\u2013183. Springer, Heidelberg (2014)"},{"key":"5_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61450-7","volume-title":"Formale Begriffsanalyse: Mathematische Grundlagen","author":"B Ganter","year":"1996","unstructured":"Ganter, B., Wille, R.: Formale Begriffsanalyse: Mathematische Grundlagen. Springer, Berlin (1996)"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Software Engineering and Formal Methods","author":"S Gruner","year":"2014","unstructured":"Gruner, S., Haxthausen, A., Maibaum, T., Roggenbach, M.: FM-RAIL-BOK organizers\u2019 message. In: Counsell, S., N\u00fa\u00f1ez, M. (eds.) SEFM 2013. LNCS, vol. 8368. Springer, Heidelberg (2014)"},{"key":"5_CR9","unstructured":"Gruner, S., Haxthausen, A., Maibaum, T., Roggenbach, M.: Homepage of the workshop on a formal methods body of knowledge for railway control and safety systems (2013). https:\/\/ssfmgroup.wordpress.com\/rel\/"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/S0164-1212(97)00165-9","volume":"40","author":"M Jackson","year":"1998","unstructured":"Jackson, M.: Formal methods and traditional engineering. J. Syst. Softw. 40, 191\u2013194 (1998)","journal-title":"J. Syst. Softw."},{"key":"5_CR11","unstructured":"Kumar, A.: A preparatory study towards a body of knowledge in the field of formal methods for the railway domain. Master-of-Applied Science Dissertation, McMaster University, Canada (2015). http:\/\/hdl.handle.net\/11375\/18416"},{"issue":"1\u20134","key":"5_CR12","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/s10472-007-9053-6","volume":"49","author":"S Kuznetsov","year":"2007","unstructured":"Kuznetsov, S.: On stability of a formal concept. Ann. Math. Artif. Intell. 49(1\u20134), 101\u2013115 (2007)","journal-title":"Ann. Math. Artif. Intell."},{"key":"5_CR13","unstructured":"Kuznetsov, S., Ignatov, D.: Concept stability for constructing taxonomies of web-site users. Computing Research Repository (CoRR) abs\/0905.1424 (2009)"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-319-05032-4_14","volume-title":"Software Engineering and Formal Methods","author":"T Maibaum","year":"2014","unstructured":"Maibaum, T.: What is a BoK? large: extended abstract. In: Counsell, S., N\u00fa\u00f1ez, M. (eds.) SEFM 2013. LNCS, vol. 8368, pp. 184\u2013188. Springer, Heidelberg (2014)"},{"key":"5_CR15","unstructured":"Poser, H.: On structural differences between science and engineering. Digital Library and Archives of the Virginia Tech University Libraries (1998)"},{"key":"5_CR16","unstructured":"Priss, U.: Formal concept analysis homepage. http:\/\/www.fcahome.org.uk\/"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-540-78921-5_17","volume-title":"Concept Lattices and Their Applications","author":"C Roth","year":"2008","unstructured":"Roth, C., Obiedkov, S., Kourie, D.G.: Towards concise representation for taxonomies of epistemic communities. In: Yahia, S.B., Nguifo, E.M., Belohlavek, R. (eds.) CLA 2006. LNCS (LNAI), vol. 4923, pp. 240\u2013255. Springer, Heidelberg (2008)"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Shaw, M.: The Coming-of-age of software architecture research. In: Proceedings 23rd ICSE, pp. 656\u2013663. IEEE Computer Society (2001)","DOI":"10.1109\/ICSE.2001.919142"},{"key":"5_CR19","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":"1990","unstructured":"Vincenti, W.: What Engineers Know and How They Know It: Analytical Studies From Aeronautical History. John Hopkins University Press, Baltimore (1990)"},{"key":"5_CR20","unstructured":"Yevtushenko, S., ConExp,: Concept Explorer. http:\/\/conexp.sourceforge.net\/"}],"container-title":["Communications in Computer and Information Science","Formal Techniques for Safety-Critical Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-29510-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T07:59:07Z","timestamp":1748764747000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-29510-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319295091","9783319295107"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-29510-7_5","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2016]]}}}