{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T08:24:06Z","timestamp":1743063846753,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642198106"},{"type":"electronic","value":"9783642198113"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-19811-3_7","type":"book-chapter","created":{"date-parts":[[2011,3,14]],"date-time":"2011-03-14T09:06:18Z","timestamp":1300093578000},"page":"81-95","source":"Crossref","is-referenced-by-count":0,"title":["Formalizing and Operationalizing Industrial Standards"],"prefix":"10.1007","author":[{"given":"Dominik","family":"Dietrich","sequence":"first","affiliation":[]},{"given":"Lutz","family":"Schr\u00f6der","sequence":"additional","affiliation":[]},{"given":"Ewaryst","family":"Schulz","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","first-page":"443","volume-title":"IEEE\/WIC\/ACM International Conference on Web Intelligence, WI 2007","author":"S. Abdul-Ghafour","year":"2007","unstructured":"Abdul-Ghafour, S., Ghodous, P., Shariat, B., Perna, E.: A common design-features ontology for product data semantics interoperability. In: IEEE\/WIC\/ACM International Conference on Web Intelligence, WI 2007, pp. 443\u2013446. IEEE Computer Society, Los Alamitos (2007)"},{"issue":"3","key":"7_CR2","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/s10817-009-9149-2","volume":"44","author":"B. Akbarpour","year":"2010","unstructured":"Akbarpour, B., Paulson, L.C.: Metitarski: An automatic theorem prover for real-valued special functions. J. Autom. Reasoning\u00a044(3), 175\u2013205 (2010)","journal-title":"J. Autom. Reasoning"},{"issue":"1835","key":"7_CR3","doi-asserted-by":"publisher","first-page":"2351","DOI":"10.1098\/rsta.2005.1650","volume":"363","author":"H. Barendregt","year":"2005","unstructured":"Barendregt, H., Wiedijk, F.: The challenge of computer mathematics. Phil. Trans. R. Soc. A\u00a0363(1835), 2351\u20132375 (2005)","journal-title":"Phil. Trans. R. Soc. A"},{"unstructured":"Bullack, H.-J.: Flanschberechnungen nach EN 1591. Kamprath interaktiv, 1st edn. (2006)","key":"7_CR4"},{"issue":"4","key":"7_CR5","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1002\/prs.10277","volume":"27","author":"E. Camossi","year":"2008","unstructured":"Camossi, E., Giannini, F., Monti, M., Brogotto, P., Pittiglio, P., Ansaldi, S.: Ontology Driven Certification of Pressure Equipments. Process safety progress\u00a027(4), 313\u2013322 (2008)","journal-title":"Process safety progress"},{"issue":"2","key":"7_CR6","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/j.aei.2006.11.003","volume":"21","author":"G. Colombo","year":"2007","unstructured":"Colombo, G., Mosca, A., Sartori, F.: Towards the design of intelligent cad systems: An ontological approach. Advanced Engineering Informatics\u00a021(2), 153\u2013168 (2007)","journal-title":"Advanced Engineering Informatics"},{"key":"7_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-540-73086-6_6","volume-title":"Towards Mechanized Mathematical Assistants","author":"W.M. Farmer","year":"2007","unstructured":"Farmer, W.M.: Biform theories in chiron. In: Kauers, M., Kerber, M., Miner, R., Windsteiger, W. (eds.) MKM\/CALCULEMUS 2007. LNCS (LNAI), vol.\u00a04573, pp. 66\u201379. Springer, Heidelberg (2007)"},{"key":"7_CR8","volume-title":"Proc. 20th CIRP Design Conference 2010","author":"M. Franke","year":"2011","unstructured":"Franke, M., Klein, P., Schr\u00f6der, L.: Ontological semantics of standards and plm repositories in the product development phase. In: Proc. 20th CIRP Design Conference 2010. Springer, Heidelberg (to appear, 2011)"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-24738-8_4","volume-title":"Numerical Software with Result Verification","author":"M. Grimmer","year":"2004","unstructured":"Grimmer, M., Petras, K., Revol, N.: Multiple precision interval packages: Comparing different approaches. In: Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds.) Dagstuhl Seminar 2003. LNCS, vol.\u00a02991, pp. 64\u201390. Springer, Heidelberg (2004)"},{"unstructured":"Hearn, A.C.: REDUCE User\u2019s Manual, Version 3.8. RAND (2005)","key":"7_CR10"},{"unstructured":"H\u00f6lzl, J.: Proving real-valued inequalities by computation in Isabelle\/HOL. Diploma thesis, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen (April 2009)","key":"7_CR11"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-3-642-05089-3_15","volume-title":"FM 2009: Formal Methods","author":"M. Kohlhase","year":"2009","unstructured":"Kohlhase, M., Lemburg, J., Schr\u00f6der, L., Schulz, E.: Formal management of cad\/cam processes. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol.\u00a05850, pp. 223\u2013238. Springer, Heidelberg (2009)"},{"unstructured":"Maplesoft. Maple 10 User Manual (2005)","key":"7_CR13"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/978-3-540-71209-1_40","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Mossakowski","year":"2007","unstructured":"Mossakowski, T., Maeder, C., L\u00fcttich, K.: The Heterogeneous Tool Set. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 519\u2013522. Springer, Heidelberg (2007)"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL \u2014 A Proof Assistant for Higher-Order Logic","author":"T. Nipkow","year":"2002","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle\/HOL \u2014 A Proof Assistant for Higher-Order Logic. LNCS, vol.\u00a02283. Springer, Heidelberg (2002)"},{"key":"7_CR16","doi-asserted-by":"publisher","first-page":"1217","DOI":"10.1016\/j.tcs.2008.11.020","volume":"410","author":"L. Schr\u00f6der","year":"2009","unstructured":"Schr\u00f6der, L., Mossakowski, T.: HasCASL: Integrated higher-order specification and program development. Theoret. Comput. Sci.\u00a0410, 1217\u20131260 (2009)","journal-title":"Theoret. Comput. Sci."},{"issue":"1","key":"7_CR17","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/j.jlap.2004.07.007","volume":"64","author":"M. Sofroniou","year":"2005","unstructured":"Sofroniou, M., Spaletta, G.: Precise numerical computation. J. Logic Algebraic Programming\u00a064(1), 113\u2013134 (2005)","journal-title":"J. Logic Algebraic Programming"},{"unstructured":"Technical Committee CEN\/TC 74. EN 1591 \u2013 Flanges and their joints \u2013 Design rules for gasketed circular flange connections (2001)","key":"7_CR18"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19811-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T06:29:48Z","timestamp":1558420188000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19811-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642198106","9783642198113"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19811-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}