{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T11:42:18Z","timestamp":1742989338123,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319281131"},{"type":"electronic","value":"9783319281148"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-28114-8_6","type":"book-chapter","created":{"date-parts":[[2015,12,29]],"date-time":"2015-12-29T12:57:37Z","timestamp":1451393857000},"page":"90-109","source":"Crossref","is-referenced-by-count":3,"title":["What Is a Derived Signature Morphism?"],"prefix":"10.1007","author":[{"given":"Till","family":"Mossakowski","sequence":"first","affiliation":[]},{"given":"Ulf","family":"Krumnack","sequence":"additional","affiliation":[]},{"given":"Tom","family":"Maibaum","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,12,30]]},"reference":[{"key":"6_CR1","unstructured":"nLab: Span. http:\/\/ncatlab.org\/nlab\/show\/span"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/S0304-3975(01)00317-6","volume":"286","author":"T Borzyszkowski","year":"2002","unstructured":"Borzyszkowski, T.: Logical systems for structured specifications. Theor. Comput. Sci. 286, 197\u2013245 (2002)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"6_CR3","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1017\/S0960129598002606","volume":"9","author":"F Cornelius","year":"1999","unstructured":"Cornelius, F., Baldamus, M., Ehrig, H., Orejas, F.: Abstract and behaviour module specifications. Math. Struct. Comput. Sci. 9(1), 21\u201362 (1999)","journal-title":"Math. Struct. Comput. Sci."},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1023\/A:1016330812768","volume":"10","author":"R Diaconescu","year":"2002","unstructured":"Diaconescu, R.: Grothendieck institutions. Appl. Categorical Struct. 10, 383\u2013402 (2002)","journal-title":"Appl. Categorical Struct."},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.ipl.2004.01.005","volume":"90","author":"R Diaconescu","year":"2004","unstructured":"Diaconescu, R.: Herbrand theorems in arbitrary institutions. Inf. Process. Lett. 90, 29\u201337 (2004)","journal-title":"Inf. Process. Lett."},{"key":"6_CR6","volume-title":"Institution-Independent Model Theory","author":"R Diaconescu","year":"2008","unstructured":"Diaconescu, R.: Institution-Independent Model Theory. Birkh\u00e4user, Basel (2008)"},{"key":"6_CR7","unstructured":"Diaconescu, R., Goguen, J., Stefaneas, P.: Logical support for modularisation. In: Huet, G., Plotkin, G. (eds.) Proceedings of a Workshop on Logical Frameworks (1991)"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Diskin, Z., Kadish, B.: A graphical yet formalized framework for specifying view systems. In: Manthey, R., Wolfengagen, V. (eds.) Advances in Databases and Information Systems 1997, Proceedings of the First East-European Symposium on Advances in Databases and Information Systems, ADBIS 1997, St Petersburg, 2\u20135 September 1997 (1997)","DOI":"10.14236\/ewic\/ADBIS1997.17"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-642-28872-2_12","volume-title":"Fundamental Approaches to Software Engineering","author":"Z Diskin","year":"2012","unstructured":"Diskin, Z., Maibaum, T., Czarnecki, K.: Intermodeling, queries, and kleisli categories. In: de Lara, J., Zisman, A. (eds.) Fundamental Approaches to Software Engineering. LNCS, vol. 7212, pp. 163\u2013177. Springer, Heidelberg (2012)"},{"key":"6_CR10","unstructured":"Ehrig, H., Baldamus, M., Cornelius, F., Orejas, F.: Theory of algebraic module specification including behavioral semantics and constraints. In: Nivat, M., Rattray, C., Rus, T., Scollo, G. (eds.) AMAST 1991. Workshops in Computing, pp. 145\u2013172. Springer, Heidelberg (1992)"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"Recent Trends in Data Type Specification","author":"H Ehrig","year":"1993","unstructured":"Ehrig, H., Baldamus, M., Orejas, F.: New concepts of amalgamation and extension for a general theory of specifications. In: Bidoit, M., Choppy, C. (eds.) Abstract Data Types 1991 and COMPASS 1991. LNCS, vol. 655. Springer, Heidelberg (1993)"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/3-540-17162-2_131","volume-title":"Category Theory and Computer Programming","author":"JA Goguen","year":"1986","unstructured":"Goguen, J.A., Burstall, R.M.: A study in the foundations of programming methodology: specifications, institutions, charters and parchments. In: Poign\u00e9, A., Pitt, D.H., Rydeheard, D.E., Abramsky, S. (eds.) Category Theory and Computer Programming. LNCS, vol. 240, pp. 313\u2013333. Springer, Heidelberg (1986)"},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"JA Goguen","year":"1992","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: Abstract model theory for specification and programming. J. Assoc. Comput. Mach. 39, 95\u2013146 (1992). Predecessor in: LNCS, vol. 164, pp. 221\u2013256 (1984)","journal-title":"J. Assoc. Comput. Mach."},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/s001650200013","volume":"13","author":"JA Goguen","year":"2002","unstructured":"Goguen, J.A., Ro\u015fu, G.: Institution morphisms. Formal Aspects Comput. 13, 274\u2013307 (2002)","journal-title":"Formal Aspects Comput."},{"key":"6_CR15","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G.: An initial algebra approach to the specification, correctness and implementation of abstract data types. In: Yeh, R.T. (ed.) Current Trends in Programming Methodology - vol. IV: Data Structuring, pp. 80\u2013149. Prentice-Hall (1978)"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-46432-8_11","volume-title":"Foundation of Software Science and Computation Structures","author":"F Honsell","year":"2000","unstructured":"Honsell, F., Longley, J., Sannella, D., Tarlecki, A.: Constructive data refinement in typed lambda calculus. In: Tiuryn, J. (ed.) FOSSACS 2000. LNCS, vol. 1784, pp. 161\u2013176. Springer, Heidelberg (2000)"},{"issue":"2","key":"6_CR17","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/s11787-010-0020-3","volume":"4","author":"O Kutz","year":"2010","unstructured":"Kutz, O., Mossakowski, T., L\u00fccke, D.: Carnap, goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design. Log. Univers. 4(2), 255\u2013333 (2010)","journal-title":"Log. Univers."},{"key":"6_CR18","series-title":"The IMA Volumes in Mathematics and its Applications","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-1-4419-1524-5_4","volume-title":"Towards Higher Categories","author":"S Lack","year":"2010","unstructured":"Lack, S.: A 2-categories companion. In: Baez, J.C., May, J.P. (eds.) Towards Higher Categories. The IMA Volumes in Mathematics and its Applications, vol. 152, pp. 105\u2013191. Springer, New York (2010)"},{"issue":"1-2","key":"6_CR19","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/j.jlap.2005.09.005","volume":"67","author":"Till Mossakowski","year":"2006","unstructured":"Mossakowski, T., Autexier, S., Hutter, D.: Development graphs - proof management for structured specifications. J. Logic Algebraic Program. 67(1\u20132), 114\u2013145 (2006). http:\/\/www.sciencedirect.com\/science?_ob=GatewayURL&_origin=CONTENTS&_method=citationSearch&_piikey=S1567832605000810&_version=1&md5=7c18897e9ffad42e0649c6b41203f41e","journal-title":"The Journal of Logic and Algebraic Programming"},{"key":"6_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/3-540-12727-5_24","volume-title":"CAAP 1983","author":"DT Sannella","year":"1983","unstructured":"Sannella, D.T., Burstall, R.M.: Structured theories in LCF. In: Protasi, M., Ausiello, G. (eds.) CAAP 1983. LNCS, vol. 159, pp. 377\u2013391. Springer, Heidelberg (1983)"},{"key":"6_CR21","series-title":"Monographs in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17336-3","volume-title":"Foundations of Algebraic Specification and Formal Software Development","author":"D Sannella","year":"2012","unstructured":"Sannella, D., Tarlecki, A.: Foundations of Algebraic Specification and Formal Software Development. Monographs in Theoretical Computer Science. Springer, Berlin (2012)"},{"issue":"1","key":"6_CR22","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/j.tcs.2004.09.037","volume":"331","author":"L Schr\u00f6der","year":"2005","unstructured":"Schr\u00f6der, L., Mossakowski, T., Tarlecki, A., Klin, B., Hoffman, P.: Amalgamation in the semantics of casl. Theor. Comput. Sci. 331(1), 215\u2013247 (2005)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"6_CR23","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/j.cogsys.2008.09.002","volume":"10","author":"A Schwering","year":"2009","unstructured":"Schwering, A., Krumnack, U., K\u00fchnberger, K.U., Gust, H.: Syntactic principles of heuristic-driven theory projection. J. Cogn. Syst. Res. 10(3), 251\u2013269 (2009). Special Issue on Analogies - Integrating Cognitive Abilities","journal-title":"J. Cogn. Syst. Res."},{"issue":"4","key":"6_CR24","first-page":"381","volume":"24","author":"J Szigeti","year":"1983","unstructured":"Szigeti, J.: On limits and colimits in the Kleisli category. Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques 24(4), 381\u2013391 (1983)","journal-title":"Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-28114-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,13]],"date-time":"2020-09-13T09:23:59Z","timestamp":1599989039000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-28114-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319281131","9783319281148"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-28114-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}