{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T16:22:13Z","timestamp":1743092533619,"version":"3.40.3"},"publisher-location":"Boston, MA","reference-count":9,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387355443"},{"type":"electronic","value":"9780387399409"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-0-387-39940-9_1176","type":"book-chapter","created":{"date-parts":[[2009,9,16]],"date-time":"2009-09-16T08:27:04Z","timestamp":1253089624000},"page":"1553-1557","source":"Crossref","is-referenced-by-count":0,"title":["Interface"],"prefix":"10.1007","author":[{"given":"Patrick","family":"Eugster","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"1176_CR1_1176","doi-asserted-by":"crossref","unstructured":"Beyer D., Henzinger T.A., and Singh V. Algorithms for interface synthesis. In Proc. 19th Int. Conf. on Computer Aided Verification, 2007, pp. 4\u201319.","DOI":"10.1007\/978-3-540-73368-3_4"},{"issue":"10","key":"1176_CR2_1176","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1145\/74878.74924","volume":"24","author":"P.S. Canning","year":"1989","unstructured":"Canning P.S., Cook W.R., Hill W.L., and Olthoff W.G. Interfaces for strongly-typed object-oriented programming. ACM SIGPLAN Not., 24(10):457\u2013467, 1989.","journal-title":"ACM SIGPLAN Not."},{"key":"1176_CR3_1176","doi-asserted-by":"crossref","unstructured":"Chakrabarti A., de Alfaro L., Henzinger T.A., and Stoelinga M. Resource interfaces. In Proc. 3rd Int. Conf. on Embedded Software, 2003, pp. 117\u2013133.","DOI":"10.1007\/978-3-540-45212-6_9"},{"key":"1176_CR4_1176","doi-asserted-by":"crossref","unstructured":"de Alfaro L. and Henzinger T.A. Interface automata. In Proc. 9th ACM SIGSOFT Int. Symp. on Foundations of Software Eng., 2001, pp. 109\u2013120.","DOI":"10.1145\/503271.503226"},{"issue":"1","key":"1176_CR5_1176","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1109\/MS.2006.24","volume":"23","author":"W.G. Griswold","year":"2006","unstructured":"Griswold W.G., Sullivan K.J., Song W., Shonle M., Tewari N., Cai Y., and Rajan H. Modular software design with crosscutting interfaces. IEEE Softw., 23(1):51\u201360, 2006.","journal-title":"IEEE Softw."},{"issue":"6","key":"1176_CR6_1176","doi-asserted-by":"publisher","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"B.H. Liskov","year":"1994","unstructured":"Liskov B.H. and Wing J.M. A behavioral notion of subtyping. ACM Trans. Program. Lang. Syst., 16(6):1811\u20131841, 1994.November","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"10","key":"1176_CR7_1176","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer B. Applying design by contract. IEEE Comput., 25(10):40\u201351, 1992.October","journal-title":"IEEE Comput."},{"issue":"12","key":"1176_CR8_1176","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"D.L. Parnas","year":"1972","unstructured":"Parnas D.L. On the criteria to be used in decomposing systems into modules. Commun. ACM, 15(12):1053\u20131058, 1972.","journal-title":"Commun. ACM"},{"issue":"1","key":"1176_CR9_1176","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1109\/TSE.1986.6312929","volume":"12","author":"R.E. Strom","year":"1986","unstructured":"Strom R.E. and Yemini S. Typestate: a programming language concept for enhancing software reliability. IEEE Trans. Softw. Eng., 12(1):157\u2013171, 1986.","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-0-387-39940-9_1176","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T03:51:24Z","timestamp":1590983484000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-39940-9_1176"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9780387355443","9780387399409"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-39940-9_1176","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}