{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:15Z","timestamp":1725663495468},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540563792"},{"type":"electronic","value":"9783540475453"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56379-2_41","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:07:15Z","timestamp":1330254435000},"page":"199-221","source":"Crossref","is-referenced-by-count":4,"title":["New concepts of amalgamation and extension for a general theory of specifications"],"prefix":"10.1007","author":[{"given":"Hartmut","family":"Ehrig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Baldamus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"Orejas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"9_CR1","unstructured":"Baldamus, M.: Constraints and their Normal Forms in the Framework of Specification Logics (in German), Studienarbeit, TU Berlin (1990)"},{"key":"9_CR2","doi-asserted-by":"crossref","first-page":"10","DOI":"10.2307\/2273784","volume":"50","author":"J. Bcnabou","year":"1985","unstructured":"Bcnabou, J.: Fibred categories and the foundations of naive category theory. Journal of Symbolic Logic 50 (1985), 10\u201337","journal-title":"Journal of Symbolic Logic"},{"key":"9_CR3","unstructured":"Burstall, R.M.; Goguen, J.A.; Tarlecki, A.: Some Fundamental Algebraic Tools for the Semantics of Computation, Part 3: Indexed Categories. Technical Report LFCS Report Series No. ECS-LFCS-89-90, University of Edinburgh, 1989"},{"key":"9_CR4","first-page":"359","volume":"1","author":"E.K. Blum","year":"1985","unstructured":"Blum, E.K.; Parisi-Presicce, F.: The semantics of shared submodules specifications. Proc. TAPSOFT vol 1, 1985, Springer LNCS 185, 359\u2013373","journal-title":"Proc. TAPSOFT"},{"key":"9_CR5","unstructured":"Diaconescu, R.; Goguen, J.A.; Stefaneas, P.: Logical support for modularization, this volume."},{"key":"9_CR6","unstructured":"Diaconescu, R.; Goguen, J.A.; Stefaneas, P.: Logical support for modularization, Techn. Report, Oxford University, August 1991"},{"key":"9_CR7","unstructured":"Ehrig, H.; Baldamus, M; Cornelius, F.; Orejas, F.: Theory of Algebraic Module Specifications including Behavioural Semantics, Constraints and Aspects of Generalized Morphisms (invited paper), Proc. AMAST91, Iowa City, 1991"},{"key":"9_CR8","unstructured":"Ehrig, H.; Baldamus, M.; Cornelius, F.; Orejas, F.: Theory of Algebraic Module Specifications including Behavioural Semantics and Constraints. Final version of Proc. AMAST91, to appear as a Springer LNCS, 1992"},{"key":"9_CR9","unstructured":"Ehrig, H.; Baldamus, M.; Orejas, F.: New Concepts for Amalgamation and Extension in the Framework of Specification Logics, Technical Report No. 91\/05, TU Berlin 1991"},{"key":"9_CR10","unstructured":"Ehrig, H.; Gro\u00dfe-Rhode, M.: Structural Theory of Algebraic Specifications in a Specification Logics, Part 1: Functorial Parameterized Specifications, in preparation"},{"key":"9_CR11","unstructured":"Ehrig, H.: Algebraic Specification of Modules and Modular Software Systems within the Framework of Specification Logics, Technical Report 89\/17, TU Berlin (1989)"},{"key":"9_CR12","first-page":"322","volume":"134","author":"H. Ehrig","year":"1981","unstructured":"Ehrig, H.; Kreowski, H.-J.; Thatcher, J.W.; Wagner, EG.; Wright, J.B.: Parameter Passing in Algebraic Specification Languages, Proc. Workshop on Program Specification, Springer LNCS 134 (1981), 322\u2013369, also appeared in TCS (1984)","journal-title":"Springer LNCS"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification 1. Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science, Vol. 6, Springer (1985)","DOI":"10.1007\/978-3-642-69962-7"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification 2. Module Specifications and Constraints. EATCS Monographs on Theoretical Computer Science, Springer (1990)","DOI":"10.1007\/978-3-642-61284-8_3"},{"key":"9_CR15","first-page":"263","volume":"372","author":"H. Ehrig","year":"1989","unstructured":"Ehrig, H.; Pepper, P.; Orejas, F.: On Recent Trends in Algebraic Specification, Proc. ICALP'89, Springer LNCS 372 (1989), pp. 263\u2013288","journal-title":"Springer LNCS"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Goguen, J.A.; Burstall, R.M.: Introducing institutions. Proc. Logics of Programming Workshop, Carnegie-Mellon. LNCS 164, Springer (1984), 221\u2013256","DOI":"10.1007\/3-540-12896-4_366"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Gro\u00dfe-Rhode, M.: Parameterized Daia Type and Process Specifications using Projection Algebras, in: Categorical Methods in Computer Science \u2014 with Aspects from Topology, (H. Ehrig, H. Herrlich, H.-J. Kreowski, G. Preu\u00df, eds.), Springer LNCS 393 (1989)","DOI":"10.1007\/3-540-51722-7_11"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Gray, J.W.: Fibred and cofibred categories. In S. Eilenberg, D.K. Harrison, S. MacLane, H. R\u00f6hrl (eds.), Proc. Conf. on Categorical Algebra, Springer-Verlag, 1966, 21\u201383","DOI":"10.1007\/978-3-642-99902-4_2"},{"key":"9_CR19","first-page":"145","volume-title":"Revetements \u00e9tales et groupe fondamental, S\u00e9minaire de G\u00e9om\u00e9trie Alg\u00e9braique du Bois-Marie 1960\/61, Expos\u00e9 VI","author":"A. Grothendieck","year":"1963","unstructured":"Grothendieck, A.: Cat\u00e9gories fibr\u00e9es et descente. In Revetements \u00e9tales et groupe fondamental, S\u00e9minaire de G\u00e9om\u00e9trie Alg\u00e9braique du Bois-Marie 1960\/61, Expos\u00e9 VI, Institut des Hautes \u00c9tudes Scientifiques, Paris, 1963; reprinted in Lect. Not. in Math. 224, Springer-Verlag, 1971, 145\u2013194"},{"key":"9_CR20","unstructured":"Goguen, J.A.; Thatcher, J.W.; Wagner, E.G.: An initial algebra approach to the specification, correctness and implementation of abstract data types. IBM Research Report RC 6487, 1976. Also: Current Trends in Programming Methodology IV: Data Structuring (R. Yeh, ed.), Prentice Hall (1978), 80\u2013144"},{"key":"9_CR21","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1002\/mana.19630270108","volume":"27","author":"P.J. Higgin","year":"1963\/64","unstructured":"Higgin, P.J.: Algebras with a Scheme of Operators, Mathematische Nachrichten 27 [1963\/64], pp 115\u2013132","journal-title":"Mathematische Nachrichten"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Johnstone, P.T., Par\u00e9, R.: Indexed categories and their applications. Lect. Not in Math. 661, Springer-Verlag, 1978","DOI":"10.1007\/BFb0061360"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Mahr, B.: Empty Carriers: The Categorical Burden on Logic; in: Categorical Methods in Computer Science \u2014 with Aspects from Topology, (H. Ehrig, H. Herrlich, H.-J. Kreowski, G. Preu\u00df, cds.), Springer LNCS 393 (1989)","DOI":"10.1007\/3-540-51722-7_4"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Meseguer, J.: General Logics, Logic Colloquium'87 (eds. Ebbinghaus et. al.), North-Holland, 1989","DOI":"10.1016\/S0049-237X(08)70132-0"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Nivela, P.; Orejas, F.: Behavioral semantics for algebraic specification languages, Proc. ADT-Workshop Gullane, 1987, Springer LNCS 332 (1988), 184\u2013207","DOI":"10.1007\/3-540-50325-0_10"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Orejas, F.; Nivela, P.; Ehrig, H.: Semantical Constructions for Categories of Behavioral Specifications, in: Computer Science \u2014 with Aspects from Topology, (H. Ehrig, H. Herrlich, H.-J. Kreowski, G. Preu\u00df, eds.), Springer LNCS 393 (1989)","DOI":"10.1007\/3-540-51722-7_13"},{"key":"9_CR27","unstructured":"Rus.T.: Data Structures and Operating Systems. John Wiley & Sons (1979)"},{"key":"9_CR28","unstructured":"Rus, T.: Steps towards Algebraic Construction of Compilers. Technical Report, University of Iowa (1990)"},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"Sannella, D.T.; Tarlecki, A.: Building specifications in an arbitrary institution. Proc. of the Int Symp. on Semantics of Data Types, LNCS 73, Springer (1984), 337\u2013356. Full version: Information and Computation 76 (1988), 165\u2013210","DOI":"10.1016\/0890-5401(88)90008-9"},{"key":"9_CR30","unstructured":"Thatcher, J.W.; Wagner, E.G.; Wright, J.B.: Data type specification: parameterization and the power of specification techniques. 10th Symp. Theory of Computing (1978), 119\u2013132. Trans. Prog. Languages and Systems 4 (1982), 711\u2013732"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Data Type Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56379-2_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T18:22:40Z","timestamp":1687285360000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56379-2_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540563792","9783540475453"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-56379-2_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}