{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T11:51:34Z","timestamp":1742989894832,"version":"3.40.3"},"publisher-location":"London","reference-count":8,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198864"},{"type":"electronic","value":"9781447132400"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"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":[[1994]]},"DOI":"10.1007\/978-1-4471-3240-0_1","type":"book-chapter","created":{"date-parts":[[2011,12,28]],"date-time":"2011-12-28T05:22:09Z","timestamp":1325049729000},"page":"3-13","source":"Crossref","is-referenced-by-count":0,"title":["Using Refinement to Understand Architectural Connection"],"prefix":"10.1007","author":[{"given":"David","family":"Garlan","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","volume-title":"Beyond Definition\/Use: Architectural Interconnection. in: Proceedings of the ACM Interface Definition Language Workshop","author":"R Allen","year":"1994","unstructured":"Allen, R. and Garlan, D. Beyond Definition\/Use: Architectural Interconnection. in: Proceedings of the ACM Interface Definition Language Workshop. SIGPLAN Notices, Portland, OR, 1994."},{"doi-asserted-by":"crossref","unstructured":"Allen, R. and Garlan, D. Formal Connectors. no. CMU-CS-192, Carnegie Mellon University, 1993. In preparation.","key":"1_CR2","DOI":"10.21236\/ADA277611"},{"key":"1_CR3","volume-title":"England","author":"Ltd","year":"1992","unstructured":"Ltd., Oxford, England, 1992."},{"key":"1_CR4","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1007\/3-540-52513-0_9","volume-title":"Formal Specifications as Reusable Frameworks. in: VDM90: VDM and Z \u2014 Formal Methods in Software Development","author":"D Garlan","year":"1990","unstructured":"Garlan, D. and Delisle, N. Formal Specifications as Reusable Frameworks. in: VDM90: VDM and Z \u2014 Formal Methods in Software Development. Springer-Verlag, LNCS 428, Kiel, Germany, 1990, pp. 150\u2013163."},{"doi-asserted-by":"crossref","unstructured":"Garlan, D. and Shaw, M. An Introduction to Software Architecture. in: Advances in Software Engineering and Knowledge Engineering, Volume I, edited by V.Ambriola and G.Tortora. World Scientific Publishing Company, New Jersey, 1993.","key":"1_CR5","DOI":"10.1142\/9789812798039_0001"},{"doi-asserted-by":"crossref","unstructured":"Hoare, C. Communicating Sequential Processes. Prentice Hall, 1985.","key":"1_CR6","DOI":"10.1007\/978-3-642-82921-5_4"},{"unstructured":"Open Systems Interconnection Handbook. edited by G. R. McClain. Intertext Publications McGraw-Hill Book Company, New York, NY, 1991.","key":"1_CR7"},{"key":"1_CR8","volume-title":"Carnegie Mellon Software Engineering Institute","author":"E Metalla","year":"1992","unstructured":"Metalla, E. and Graham, M. H. The Domain-Specific Software Architecture Program. no. CMU\/SEI-92-SR-9, Carnegie Mellon Software Engineering Institute, June 1992."}],"container-title":["Workshops in Computing","6th Refinement Workshop"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3240-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,18]],"date-time":"2023-02-18T21:19:07Z","timestamp":1676755147000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-3240-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540198864","9781447132400"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3240-0_1","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1994]]}}}