{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:07:54Z","timestamp":1748664474541,"version":"3.41.0"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319242545"},{"type":"electronic","value":"9783319242552"}],"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":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24255-2_34","type":"book-chapter","created":{"date-parts":[[2015,9,5]],"date-time":"2015-09-05T13:51:13Z","timestamp":1441461073000},"page":"471-484","source":"Crossref","is-referenced-by-count":8,"title":["Real-World Types and Their Application"],"prefix":"10.1007","author":[{"given":"Jian","family":"Xiang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Knight","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin","family":"Sullivan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,25]]},"reference":[{"key":"34_CR1","unstructured":"Mars Climate Orbiter Mishap Investigation Board Phase I Report. National Aeronautics and Space Administration, Washington DC (1999)"},{"key":"34_CR2","unstructured":"Bergin, C. Harding, P.: Cygnus Delays ISS Berthing Following GPS Discrepancy. http:\/\/www.nasaspaceflight.com\/2013\/09\/cygnus-cots-graduation-iss-berthing\/"},{"key":"34_CR3","doi-asserted-by":"crossref","unstructured":"Antoniu, T., Steckler, P.A., Krishnamurthi, S., Neuwirth, E., Felleisen, M.: Validating the unit correctness of spreadsheet programs. In: 26th International Conference on Software Engineering, pp. 439\u2013448. IEEE Press, New York (2004)","DOI":"10.1109\/ICSE.2004.1317466"},{"key":"34_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/3-540-44947-7_19","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2003","author":"C Grein","year":"2003","unstructured":"Grein, C., Kazakov, D.A., Wilson, D.B.: A survey of physical unit handling techniques in ada. In: Rosen, J.-P., Strohmeier, A. (eds.) Ada-Europe 2003. LNCS, vol. 2655, pp. 258\u2013270. Springer, Heidelberg (2003)"},{"key":"34_CR5","doi-asserted-by":"crossref","unstructured":"Kennedy, A.: Dimension types. In: 5th European Symposium on Programming, pp. 348\u2013362. ACM Press, New York (1994)","DOI":"10.1007\/3-540-57880-3_23"},{"key":"34_CR6","unstructured":"International System of Units. National Institution of Standards Technology, Washington, DC"},{"key":"34_CR7","unstructured":"Kelpie Flight Planner for Flightgear. http:\/\/sourceforge.net\/projects\/fgflightplanner\/"},{"key":"34_CR8","unstructured":"FlightGear. http:\/\/www.flightgear.org\/"},{"issue":"3","key":"34_CR9","doi-asserted-by":"publisher","first-page":"1216","DOI":"10.1111\/j.1365-246X.2010.04804.x","volume":"183","author":"International Association of Geomagnetism and Aeronomy","year":"2010","unstructured":"International Association of Geomagnetism and Aeronomy: International geomagnetic reference field: the eleventh generation. Geophys. J. Int. 183(3), 1216\u20131230 (2010)","journal-title":"Geophys. J. Int."},{"key":"34_CR10","unstructured":"World Magnetic Model. http:\/\/www.ngdc.noaa.gov\/geomag\/WMM\/DoDWMM.shtml"},{"key":"34_CR11","unstructured":"OpenMap. https:\/\/code.google.com\/p\/openmap\/"},{"key":"34_CR12","unstructured":"Geoconvertor. https:\/\/code.google.com\/p\/geoconvertor\/"},{"issue":"3","key":"34_CR13","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1109\/52.896248","volume":"17","author":"CA Gunter","year":"2000","unstructured":"Gunter, C.A., Gunter, E.L., Jackson, M., Zave, P.: A reference model for requirements and specifications. IEEE Softw. 17(3), 37\u201343 (2000)","journal-title":"IEEE Softw."},{"key":"34_CR14","doi-asserted-by":"crossref","unstructured":"Jackson, M., Zave, P.: Deriving specifications from requirements: an example. In: 17th International Conference on Software Engineering, pp. 15\u201324. ACM, New York (1995)","DOI":"10.1145\/225014.225016"},{"key":"34_CR15","doi-asserted-by":"crossref","unstructured":"Miller, S.P., Tribble, A.C.: Extending the four-variable model to bridge the system-software gap. In: 20th Digital Avionics System Conference, pp. 1\u20135. IEEE Press, New York (2001)","DOI":"10.1109\/DASC.2001.963383"},{"issue":"1","key":"34_CR16","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0167-6423(95)96871-J","volume":"25","author":"DL Parnas","year":"1995","unstructured":"Parnas, D.L., Madey, L.: Functional documents for computer systems. Sci. Comput. Program. 25(1), 41\u201361 (1995)","journal-title":"Sci. Comput. Program."},{"key":"34_CR17","doi-asserted-by":"crossref","unstructured":"Papi, M., Ali, M., Correr, Jr., T.L., Perkins, J.H., Ernst, M.D.: Practical pluggable types for Java. In: SIGSOFT International Symposium on Software Testing and Analysis, pp. 201\u2013212. ACM Press, New York (2008)","DOI":"10.1145\/1390630.1390656"},{"issue":"2","key":"34_CR18","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/1667048.1667049","volume":"32","author":"S Markstrum","year":"2010","unstructured":"Markstrum, S., Marino, D., Esquivel, M., Millstein, T., Andreae, C., Noble, J.: JavaCOP: declarative pluggable types for java. ACM Trans. Program. Lang. Syst. 32(2), 41\u2013437 (2010)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"34_CR19","doi-asserted-by":"crossref","unstructured":"Dietl, W., Dietzel, S., Ernst, M.D., Mu\u015flu, K., Schiller, T.W.: Building and using pluggable type-checkers. In: 33rd International Conference on Software Engineering, pp. 681\u2013690. ACM, New York (2011)","DOI":"10.1145\/1985793.1985889"},{"key":"34_CR20","series-title":"LNCS","first-page":"604","volume-title":"ISoLA 2014, Part II","author":"Y Ait-Ameur","year":"2014","unstructured":"Ait-Ameur, Y., Gibson, J.P., M\u00e9ry, D.: On implicit and explicit semantics: integration issues in proof-based development of systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part II. LNCS, vol. 8803, pp. 604\u2013618. Springer, Heidelberg (2014)"},{"key":"34_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/3-540-44881-0_15","volume-title":"Rewriting Techniques and Applications","author":"F Chen","year":"2003","unstructured":"Chen, F., Rosu, G., Venkatesan, R.P.: Rule-based analysis of dimensional safety. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol. 2706, pp. 197\u2013207. Springer, Heidelberg (2003)"},{"key":"34_CR22","doi-asserted-by":"crossref","unstructured":"Jiang, L., Su, Z.: Osprey: a practical type system for validating dimensional unit correctness of C programs. In: 28th International Conference on Software Engineering, pp. 262\u2013271. ACM, New York (2006)","DOI":"10.1145\/1134285.1134323"},{"key":"34_CR23","doi-asserted-by":"crossref","unstructured":"Ratiu, D., Deissenboeck, F.: From reality to programs and (not quite) back again. In: 15th IEEE International Conference on Program Comprehension, pp. 91\u2013102. IEEE Press, New York (2007)","DOI":"10.1109\/ICPC.2007.22"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24255-2_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T13:02:02Z","timestamp":1748610122000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24255-2_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319242545","9783319242552"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24255-2_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}