{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T04:19:48Z","timestamp":1743049188350,"version":"3.40.3"},"publisher-location":"New York, NY","reference-count":9,"publisher":"Springer New York","isbn-type":[{"type":"print","value":"9781461482666"},{"type":"electronic","value":"9781461482659"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","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":[[2018]]},"DOI":"10.1007\/978-1-4614-8265-9_1176","type":"book-chapter","created":{"date-parts":[[2018,12,6]],"date-time":"2018-12-06T12:59:07Z","timestamp":1544101147000},"page":"2013-2018","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Interface"],"prefix":"10.1007","author":[{"given":"Patrick","family":"Eugster","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,12,7]]},"reference":[{"key":"1176_CR9727","doi-asserted-by":"crossref","unstructured":"Beyer D, Henzinger TA, Singh V. Algorithms for interface synthesis. In: Proceedings of the 19th International Conference on Computer Aided Verification; 2007. p. 4\u201319.","DOI":"10.1007\/978-3-540-73368-3_4"},{"issue":"10","key":"1176_CR9728","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1145\/74878.74924","volume":"24","author":"PS Canning","year":"1989","unstructured":"Canning PS, Cook WR, Hill WL, Olthoff WG. Interfaces for strongly-typed object-oriented programming. ACM SIGPLAN Not. 1989;24(10):457\u201367.","journal-title":"ACM SIGPLAN Not"},{"key":"1176_CR9729","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-540-45212-6_9","volume-title":"Embedded Software","author":"Arindam Chakrabarti","year":"2003","unstructured":"Chakrabarti A, de Alfaro L, Henzinger TA, Stoelinga M. Resource interfaces. In: Proceedings of the 3rd International Conference on Embedded Software; 2003. p. 117\u201333."},{"key":"1176_CR9730","doi-asserted-by":"crossref","unstructured":"de Alfaro L, Henzinger TA. Interface automata. In: Proceedings of the 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering; 2001. p. 109\u201320.","DOI":"10.1145\/503209.503226"},{"issue":"1","key":"1176_CR9731","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1109\/MS.2006.24","volume":"23","author":"WG Griswold","year":"2006","unstructured":"Griswold WG, Sullivan KJ, Song W, Shonle M, Tewari N, Cai Y, Rajan H. Modular software design with crosscutting interfaces. IEEE Softw. 2006;23(1):51\u201360.","journal-title":"IEEE Softw"},{"issue":"6","key":"1176_CR9732","doi-asserted-by":"publisher","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"BH Liskov","year":"1994","unstructured":"Liskov BH, Wing JM. A behavioral notion of subtyping. ACM Trans Program Lang Syst. 1994;16(6):1811\u201341.","journal-title":"ACM Trans Program Lang Syst"},{"issue":"10","key":"1176_CR9733","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B Meyer","year":"1992","unstructured":"Meyer B. Applying design by contract. IEEE Comput. 1992;25(10):40\u201351.","journal-title":"IEEE Comput"},{"issue":"12","key":"1176_CR9734","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"DL Parnas","year":"1972","unstructured":"Parnas DL. On the criteria to be used in decomposing systems into modules. Commun ACM. 1972;15(12):1053\u20138.","journal-title":"Commun ACM"},{"issue":"1","key":"1176_CR9735","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1109\/TSE.1986.6312929","volume":"12","author":"RE Strom","year":"1986","unstructured":"Strom RE, Yemini S. Typestate: a programming language concept for enhancing software reliability. IEEE Trans Softw Eng. 1986;12(1):157\u201371.","journal-title":"IEEE Trans Softw Eng"}],"container-title":["Encyclopedia of Database Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4614-8265-9_1176","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T23:54:29Z","timestamp":1591055669000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4614-8265-9_1176"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9781461482666","9781461482659"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-1-4614-8265-9_1176","relation":{},"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"7 December 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}