{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T20:47:47Z","timestamp":1742935667886,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319301419"},{"type":"electronic","value":"9783319301426"}],"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":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-30142-6_3","type":"book-chapter","created":{"date-parts":[[2016,2,24]],"date-time":"2016-02-24T06:36:41Z","timestamp":1456295801000},"page":"42-62","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Semantic Versioning Service Based on Formal Certification"],"prefix":"10.1007","author":[{"given":"Jean-Yves","family":"Vion-Dury","sequence":"first","affiliation":[]},{"given":"Nikolaos","family":"Lagos","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,2,25]]},"reference":[{"key":"3_CR1","unstructured":"Novakouski, M., Lewis, G., Anderson, W., Davenport, J.: Best Practices for Artifact Versioning in Service-Oriented Systems. Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Note CMU\/SEI-2011-TN-009 (2012). \n                    resources.sei.cmu.edu\/asset_files\/TechnicalNote\/2012_004_001_15356.pdf"},{"key":"3_CR2","unstructured":"Jerijrvi, K., Dubray, J.-J.:Contract Versioning, Compatibility and Composability. InfoQ Magazine, December 2008. \n                    www.infoq.com\/articlescontract-versioning-comp2"},{"issue":"2","key":"3_CR3","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1145\/280277.280280","volume":"30","author":"R Conradi","year":"1998","unstructured":"Conradi, R., Westfechtel, B.: Version models for software configuration management. ACM Comput. Surv. 30(2), 232\u2013282 (1998). \n                    doi.acm.org\/10.1145\/280277.280280","journal-title":"ACM Comput. Surv."},{"issue":"8","key":"3_CR4","doi-asserted-by":"publisher","first-page":"1326","DOI":"10.1016\/j.jss.2009.03.001","volume":"82","author":"MB Juric","year":"2009","unstructured":"Juric, M.B., Sasa, A., Brumen, B., Rozman, I.: WSDL and UDDI extensions for version support in web services. J. Sys. Soft. 82(8), 1326\u20131343 (2009). \n                    dx.org\/10.1016\/j.jss.2009.03.001\n                    \n                  , \n                    www.sciencedirect.com\/science\/article\/pii\/S0164121209000478","journal-title":"J. Sys. Soft."},{"key":"3_CR5","unstructured":"Wetherly, C., Goring, B.R., Shenfield, M., Cacenco, M.: System and method for implementing data-compatibility-based version scheme. US Patent 8,555,272 (2013)"},{"key":"3_CR6","unstructured":"Cacenco, M., Goring, B., Shenfield, M., Wetherly, C.: Implementing data-compatibility-based version scheme. WO Patent App. PCT\/CA2005\/001,345 (2006)"},{"key":"3_CR7","unstructured":"Vairavan, V., Bellur, U.: Method and system for versioning a software system. US Patent App. 12\/324,950 (2009)"},{"key":"3_CR8","unstructured":"Papazoglou, M.P., Benbernou, S., Andrikopoulos, V.: On the evolution of services. IEEE Trans. Soft. Eng. 38(3), 609\u2013628 (2012). Preprint, \n                    http:\/\/infolab.uvt.nl\/~mikep\/publications\/IEEE-TSE%20%5Bpreprint%5D.pdf"},{"key":"3_CR9","unstructured":"Leitner, P., Michlmayr, A., Rosenberg, F., Dustdar, S.: End-to-End versioning support for web services. In: IEEE International Conference on Services Computing (SCC 2008), vol. 1, pp. 59\u201366 - Technical report version (2008). \n                    www.infosys.tuwien.ac.at\/staff\/leitner\/papers\/TUV-1841-2008-1.pdf"},{"key":"3_CR10","unstructured":"Brada, P.: Specification-Based Component Substitutability and Revision Identification. Ph.D. thesis, Charles University, Prague, August 2003. \n                    http:\/\/d3s.mff.cuni.cz\/publications\/download\/brada_phd.pdf"},{"key":"3_CR11","unstructured":"CORBA 3.3, 26 June 2014. \n                    www.omg.org\/spec\/CORBA\/3.3\/"},{"key":"3_CR12","unstructured":"Semantic Versioning. Technical Whitepaper, OSGi Alliance, Revision 1.0, May 2010. \n                    www.osgi.org"},{"key":"3_CR13","series-title":"LNCS","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL: A Proof Assistant for Higher-Order Logic","author":"T Nipkow","year":"2002","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle\/HOL: A Proof Assistant for Higher-Order Logic. LNCS, vol. 2283. Springer, Heidelberg (2002)"},{"issue":"3","key":"3_CR14","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1016\/j.jlap.2010.03.002","volume":"79","author":"F Kirchner","year":"2010","unstructured":"Kirchner, F., Mu\u00f1oz, C.: The Proof Monad. J. Logic Alg. Program. 79(3), 264\u2013277 (2010)","journal-title":"J. Logic Alg. Program."},{"key":"3_CR15","unstructured":"Boespflug, M., Carbonneaux, Q., Hermant, O.: The lambda-Pi-calculus modulo as a universal proof language. In: Proof Exchange for Theorem Proving, pp. 28\u201343 (2012)"},{"key":"3_CR16","unstructured":"De Bruijn, N.G.: On the roles of types in mathematics. In: The Curry-Howard Isomorphism, vol. 8, pp. 27\u201354 (1995)"},{"key":"3_CR17","unstructured":"Laboreo, D.: Introduction to Natural Deduction. Tutorial, May 2005. \n                    www.danielclemente.com\/logica\/dn.en.pdf"},{"key":"3_CR18","unstructured":"PERICLES: a FP7 European project (2013\u20132017). \n                    www.pericles-project.eu"},{"key":"3_CR19","unstructured":"Vion-Dury, J.-Y., Lagos, N.: Technical Annex (2015). \n                    www.xrce.xerox.com\/content\/download\/34443\/372476\/file\/SV-ANNEX.pdf"}],"container-title":["Communications in Computer and Information Science","Software Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-30142-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T22:46:14Z","timestamp":1558392374000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-30142-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319301419","9783319301426"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-30142-6_3","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"25 February 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}