{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:17:01Z","timestamp":1725484621641},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540434108"},{"type":"electronic","value":"9783540460008"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46000-4_18","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T02:17:36Z","timestamp":1180491456000},"page":"166-173","source":"Crossref","is-referenced-by-count":0,"title":["Towards a Colimit-Based Semantics for Visual Programming"],"prefix":"10.1007","author":[{"given":"Jeremy","family":"Gibbons","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,14]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"R. Allen and D. Garlan. A formal basis for architectural connection. ACM Transactions on Software Engineering Methodology,6(3),1997.","DOI":"10.1145\/258077.258078"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"S. B\u00fcnnig, P. Forbrig, R. L\u00e4mmel,and N. Seemann. A programming language for design patterns. In Arbeitstagung Programmiersprachen, Paderborn, October 1999.","DOI":"10.1007\/978-3-662-01069-3_59"},{"issue":"2","key":"18_CR3","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0167-6423(96)00025-1","volume":"28","author":"J. L. Fiadeiro","year":"1997","unstructured":"J. L. Fiadeiro and T.S.E. Maibaum. Categorical semantics of parallel program design. Science of Computer Programming,28(2\u20133):111\u2013138,1997.","journal-title":"Science of Computer Programming"},{"key":"18_CR4","unstructured":"E. Gamma, R. Helm, R. Johnson,and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley,1995."},{"key":"18_CR5","unstructured":"J.A. Goguen. Categorical foundations of general systems theory. In F. Pichler and R. Trappl,editors, Advances in Cybernetics and Systems Research,pages 121\u2013130. Transcripta,1973."},{"key":"18_CR6","unstructured":"J. Gosling, B. Joy,and G. Steele. Java Language Specification. Addison-Wesley, 1996."},{"key":"18_CR7","unstructured":"IBM. VisualAge for Java. http:\/\/www.ibm.com\/software\/ad\/vajava ."},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"B. Jacobs. Objects and classes,coalgebraically. In B. Freitag, C. B. Jones, C. Lengauer,and H.-J. Schek,editors, Object-Orientation with Parallelism and Persistence,pages 83\u2013103. Kluwer,1996.","DOI":"10.1007\/978-1-4613-1437-0_5"},{"issue":"2","key":"18_CR9","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1145\/169701.169682","volume":"15","author":"S. Katz","year":"1993","unstructured":"S. Katz. A superimposition control construct for distributed systems. ACM Transactions on Programming Languages and Systems,15(2):337\u2013356,1993.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"18_CR10","unstructured":"Sun Microsystems. JavaBeans specification. http:\/\/java.sun.com\/products\/javabeans\/docs\/spec.html ,1997."},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"L. Mikhajlov and E. Sekerinski. A study of the Fragile Base Class problem. In European Conference on Object-Oriented Programming,pages 355\u2013382,1998.","DOI":"10.1007\/BFb0054099"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"B.C. Pierce. Basic Category Theory for Computer Science. MIT Press,1991.","DOI":"10.7551\/mitpress\/1524.001.0001"},{"key":"18_CR13","unstructured":"M. Shaw and D. Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall,1996."},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"A. Snyder. Encapsulation and inheritance in object-oriented programming languages. In M. Meyrowitz,editor, Object-Oriented Programming, Systems, Languages and Applications,pages 38\u201345,1986. SIGPLAN Notices 21(11).","DOI":"10.1145\/28697.28702"},{"key":"18_CR15","series-title":"Lect Notes Comput Sci","volume-title":"Mathematics of Program Construction","author":"Y. V. Srinivas","year":"1995","unstructured":"Y. V. Srinivas and R. J\u00fcllig. SpecWare: Formal support for composing software. In Bernhard M\u00f6ller,editor, LNCS 947: Mathematics of Program Construction. Springer-Verlag,1995."},{"key":"18_CR16","unstructured":"Clemens Szyperski. Component Software: Beyond Object-Oriented Programming. Addison-Wesley,1998."}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46000-4_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T02:10:06Z","timestamp":1683857406000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46000-4_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540434108","9783540460008"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-46000-4_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}