{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T22:56:54Z","timestamp":1743116214903,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676966"},{"type":"electronic","value":"9783540449959"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/978-3-540-44995-9_7","type":"book-chapter","created":{"date-parts":[[2010,10,14]],"date-time":"2010-10-14T14:31:59Z","timestamp":1287066719000},"page":"100-116","source":"Crossref","is-referenced-by-count":3,"title":["Framework-Based Applications: From Incremental Development to Incremental Reasoning"],"prefix":"10.1007","author":[{"given":"Neelam","family":"Soundarajan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephen","family":"Fridella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-6272-5","volume-title":"The design of well-structured and correct programs","author":"S. Alagic","year":"1978","unstructured":"Alagic, S., Arbib, M.: The design of well-structured and correct programs. Springer, Heidelberg (1978)"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"1131","DOI":"10.1109\/32.738343","volume":"24","author":"R. Buhr","year":"1998","unstructured":"Buhr, R.: Use case maps as architectural entities for complex systems. IEEE Trans. on Software Eng.\u00a024, 1131\u20131155 (1998)","journal-title":"IEEE Trans. on Software Eng."},{"key":"7_CR3","first-page":"363","volume":"6","author":"R.H. Campbell","year":"1993","unstructured":"Campbell, R.H., Islam, N.: A technique for documenting the framework of an object-oriented system. Computing Systems\u00a06, 363\u2013389 (1993)","journal-title":"Computing Systems"},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1109\/ICSE.1996.493421","volume-title":"Proc. of 18th Int. Conf. on Softw. Eng.","author":"K.K. Dhara","year":"1996","unstructured":"Dhara, K.K., Leavens, G.T.: Forcing behavioral subtyping through specification inheritance. In: Proc. of 18th Int. Conf. on Softw. Eng., pp. 258\u2013267. IEEE Computer Soc., Los Alamitos (1996)"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Fayad, M.E., Schmidt, D.C.: Special issue on object oriented application frameworks. CACM\u00a040 (October 1997)","DOI":"10.1145\/262793.262798"},{"key":"7_CR6","volume-title":"Design patterns: Elements of reusable OO software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design patterns: Elements of reusable OO software. Addison-Wesley, Reading (1995)"},{"key":"7_CR7","volume-title":"Systematic Software Development Using VDM","author":"C. Jones","year":"1990","unstructured":"Jones, C.: Systematic Software Development Using VDM. Prentice-Hall, Englewood Cliffs (1990)"},{"key":"7_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-3073-4","volume-title":"Formal Object-Oriented Development","author":"K. Lano","year":"1995","unstructured":"Lano, K.: Formal Object-Oriented Development. Springer, Heidelberg (1995)"},{"key":"7_CR9","first-page":"17","volume-title":"OOPSLA 1987, Addendum to the proceedings","author":"B. Liskov","year":"1987","unstructured":"Liskov, B.: Data abstraction and hierarchy. In: OOPSLA 1987, Addendum to the proceedings, pp. 17\u201334. ACM Press, New York (1987)"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"B. Liskov","year":"1994","unstructured":"Liskov, B., Wing, J.: A behavioral notion of subtyping. ACM TOPLAS\u00a016, 1811\u20131841 (1994)","journal-title":"ACM TOPLAS"},{"key":"7_CR11","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction. Prentice Hall, Englewood Cliffs (1997)"},{"key":"7_CR12","first-page":"26","volume":"1","author":"B. Foote","year":"1988","unstructured":"Foote, B., Johnson, R.: Desigining reusable classes. Journal of OOP\u00a01, 26\u201349 (1988)","journal-title":"Journal of OOP"}],"container-title":["Lecture Notes in Computer Science","Software Reuse: Advances in Software Reusability"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-44995-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T11:19:39Z","timestamp":1676632779000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-44995-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676966","9783540449959"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-44995-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}