{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:43:48Z","timestamp":1725486228395},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540433668"},{"type":"electronic","value":"9783540459316"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45931-6_23","type":"book-chapter","created":{"date-parts":[[2007,6,9]],"date-time":"2007-06-09T00:53:52Z","timestamp":1181350432000},"page":"326-341","source":"Crossref","is-referenced-by-count":12,"title":["Heterogeneous Development Graphs and Heterogeneous Borrowing"],"prefix":"10.1007","author":[{"given":"Till","family":"Mossakowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,15]]},"reference":[{"key":"23_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT\u201999","author":"D. Ancona","year":"2000","unstructured":"D. Ancona, M. Cerioli, and E. Zucca. Extending Casl by late binding. In C. Choppy, D. Bert, and P. Mosses, editors, Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT\u201999, Bonas, France, volume 1827 of Lecture Notes in Computer Science. Springer-Verlag, 2000."},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"E. Astesiano, H.-J. Kreowski, and B. Krieg-Br\u00fcckner. Algebraic Foundations of Systems Specification. Springer, 1999.","DOI":"10.1007\/978-3-642-59851-7"},{"key":"23_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/978-3-540-44616-3_5","volume-title":"Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT\u201999","author":"S. Autexier","year":"2000","unstructured":"S. Autexier, D. Hutter, H. Mantel, and A. Schairer. Towards an evolutionary formal software-development using Casl. In C. Choppy and D. Bert, editors, Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT\u201999, Bonas, France, volume 1827 of Lecture Notes in Computer Science, pages 73\u201388. Springer-Verlag, 2000."},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"S. Autexier and T. Mossakowski. Integrating HOL-Casl into the development graph manager Maya. FroCoS 2002, to appear.","DOI":"10.1007\/3-540-45988-X_2"},{"key":"23_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings IFM 2000","author":"H. Baumeister","year":"2000","unstructured":"H. Baumeister and A. Zamulin. State-based extension of Casl. In Proceedings IFM 2000, volume 1945 of Lecture Notes in Computer Science. Springer-Verlag, 2000."},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"T. Borzyszkowski. Logical systems for structured specifications. Theoretical Computer Science, to appear.","DOI":"10.1016\/S0304-3975(01)00317-6"},{"key":"23_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Recent Trends in Algebraic Development Techniques","author":"C. Caleiro","year":"2002","unstructured":"C. Caleiro, P. Mateus, J. Ramos, and A. Sernadas. Combining logics: Parchments revisited. In M. Cerioli and G. Reggio, editors, Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT\u201901, Genova, Italy, Lecture Notes in Computer Science. Springer-Verlag. To appear."},{"key":"23_CR8","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/S0304-3975(96)00160-0","volume":"173","author":"M. Cerioli","year":"1997","unstructured":"M. Cerioli and J. Meseguer. May I borrow your logic? (transporting logical structures along maps). Theoretical Computer Science, 173:311\u2013347, 1997.","journal-title":"Theoretical Computer Science"},{"key":"23_CR9","unstructured":"R. Diaconescu. Grothendieck institutions. Applied categorical structures. to appear."},{"key":"23_CR10","series-title":"Lect Notes Comput Sci","first-page":"95","volume-title":"Journal of the Association for Computing Machinery","author":"J. A. Goguen","year":"1992","unstructured":"J. A. Goguen and R. M. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery, 39:95\u2013146, 1992. Predecessor in: LNCS 164, 221-256, 1984."},{"key":"23_CR11","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1016\/S0049-237X(08)70132-0","volume":"87","author":"J. Meseguer","year":"1989","unstructured":"J. Meseguer. General logics. In Logic Colloquium 87, pages 275\u2013329. North Holland, 1989.","journal-title":"Logic Colloquium"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"T. Mossakowski. Relating Casl with other specification languages: the institution level. Theoretical Computer Science. To appear.","DOI":"10.1016\/S0304-3975(01)00369-3"},{"key":"23_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/3-540-45314-8_20","volume-title":"Fundamental Approaches to Software Engineering","author":"T. Mossakowski","year":"2001","unstructured":"T. Mossakowski, S. Autexier, and D. Hutter. Extending development graphs with hiding. In H. Hu\u03b2mann, editor, Fundamental Approaches to Software Engineering, volume 2029 of Lecture Notes in Computer Science, pages 269\u2013283. Springer-Verlag, 2001."},{"key":"23_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1007\/978-3-540-44616-3_8","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T. Mossakowski","year":"2000","unstructured":"T. Mossakowski, A. Haxthausen, and B. Krieg-Br\u00fcckner. Subsorted partial higherorder logic as an extension of Casl. In C. Choppy, D. Bert, and P. Mosses, editors, Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT\u201999, Bonas, France, volume 1827 of Lecture Notes in Computer Science, pages 126\u2013145. Springer-Verlag, 2000."},{"key":"23_CR15","series-title":"Lect Notes Comput Sci","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T. Mossakowski","year":"2002","unstructured":"T. Mossakowski and B. Klin. Institution independent static analysis for Casl. In M. Ceriolo and G. Reggio, editors, Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT\u201901, Genova, Italy, Lecture Notes in Computer Science. Springer-Verlag. To appear."},{"key":"23_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/3-540-64299-4_44","volume-title":"Recent trends in algebraic development techniques","author":"T. Mossakowski","year":"1998","unstructured":"T. Mossakowski, A. Tarlecki, and W. Paw\u0142owski. Combining and representing logical systems using model-theoretic parchments. In F. Parisi Presicce, editor, Recent trends in algebraic development techniques. Proc. 12th International Workshop, volume 1376 of Lecture Notes in Computer Science, pages 349\u2013364. Springer, 1998."},{"key":"23_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BFb0030591","volume-title":"TAPSOFT\u2019 97, Proc. Intl. Symp. on Theory and Practice of Software Development","author":"P. D. Mosses","year":"1997","unstructured":"P. D. Mosses. CoFI: The Common Framework Initiative for Algebraic Specification and Development. In TAPSOFT\u2019 97, Proc. Intl. Symp. on Theory and Practice of Software Development, volume 1214 of LNCS, pages 115\u2013137. Springer-Verlag, 1997."},{"key":"23_CR18","series-title":"Lect Notes Comput Sci","volume-title":"Proc. AMAST 2000","author":"G. Reggio","year":"2000","unstructured":"G. Reggio and L. Repetto. Casl-CHART: a combination of statecharts and of the algebraic specification language Casl. In Proc. AMAST 2000, volume 1816 of Lecture Notes in Computer Science. Springer Verlag, 2000."},{"key":"23_CR19","unstructured":"L. Schr\u00f6der and T. Mossakowski. HasCasl: Towards integrated specification and development of Haskell programs. Submitted."},{"key":"23_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"478","DOI":"10.1007\/3-540-61629-2_59","volume-title":"Recent Trends in Data Type Specifications","author":"A. Tarlecki","year":"1996","unstructured":"A. Tarlecki. Moving between logical systems. In M. Haveraaen, O. Owe, and O.-J. Dahl, editors, Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types, volume 1130 of Lecture Notes in Computer Science, pages 478\u2013502. Springer Verlag, 1996."},{"key":"23_CR21","unstructured":"A. Tarlecki. Towards heterogeneous specifications. In D. Gabbay and M. d. Rijke, editors, Frontiers of Combining Systems 2, 1998, Studies in Logic and Computation, pages 337\u2013360. Research Studies Press, 2000."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45931-6_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,17]],"date-time":"2019-01-17T14:20:37Z","timestamp":1547734837000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45931-6_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433668","9783540459316"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-45931-6_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}