{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:11Z","timestamp":1761611171990},"publisher-location":"Berlin\/Heidelberg","reference-count":19,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354054478X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0017396","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T07:32:12Z","timestamp":1132644732000},"page":"292-310","source":"Crossref","is-referenced-by-count":8,"title":["Algebraic specification grammars: A junction between module specifications and graph grammars"],"prefix":"10.1007","author":[{"given":"Hartmut","family":"Ehrig","sequence":"first","affiliation":[]},{"given":"Francesco","family":"Parisi-Presicce","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2\/3","key":"24_CR1","first-page":"239","volume":"34","author":"E.K. Blum","year":"1987","unstructured":"E.K. Blum, H. Ehrig, F. Parisi-Presicce: Algebraic Specification of Modules and their Basic Interconnections, J. Comp. System Sci. 34, 2\/3 (1987), 239\u2013339","journal-title":"J. Comp. System Sci."},{"unstructured":"B. Krieg-Br\u00fcckner, ed.: A Comprehensive Algebraic Approach to System Specification and Development, ESPRIT BRWG 3264, Univ. Bremen, Bericht 6\/89","key":"24_CR2"},{"key":"24_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BFb0025714","volume":"73","author":"H. Ehrig","year":"1979","unstructured":"H. Ehrig: Introduction to the Algebraic Theory of Graph Grammars, Lect. Notes in Comp. Sci. 73 (1979), 1\u201369","journal-title":"Lect. Notes in Comp. Sci."},{"key":"24_CR4","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/BFb0016234","volume":"233","author":"H. Ehrig","year":"1986","unstructured":"H. Ehrig, W. Fey, F. Parisi-Presicce, E.K. Blum: Algebraic Theory of Module Specifications with Constraints, invited, Proc MFCS, Lect. Notes Comp. Sci. 233 (1986), 59\u201377","journal-title":"Lect. Notes Comp. Sci."},{"unstructured":"H. Ehrig, A. Habel, H.-J. Kreowski, F. Parisi-Presicce: From Graph Grammars to High Level Replacement Systems, this volume","key":"24_CR5"},{"unstructured":"H. Ehrig, A. Habel, H.-J. Kreowski, F. Parisi-Presicce: Parallelism and Concurrency in High-Level-Replacement Systems, to appear","key":"24_CR6"},{"key":"24_CR7","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BF01752403","volume":"14","author":"H. Ehrig","year":"1981","unstructured":"H. Ehrig, H.-J. Kreowski, A. Maggiolo-Schettini, B. Rosen, J. Winkowski: Transformation of Structures: an Algebraic Approach, Math. Syst. Theory 14 (1981), 305\u2013334","journal-title":"Math. Syst. Theory"},{"doi-asserted-by":"crossref","unstructured":"H. Ehrig, B. Mahr: Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics, EATCS Monographs on Theoret. Comp. Sci., vol 6, Springer-Verlag 1985 1985","key":"24_CR8","DOI":"10.1007\/978-3-642-69962-7"},{"doi-asserted-by":"crossref","unstructured":"H. Ehrig, B. Mahr: Fundamentals of Algebraic Specifications 2: Module Specifications and Constraints, EATCS Monographs on Theoret. Comp. Sci., vol 21, Springer-Verlag 1990","key":"24_CR9","DOI":"10.1007\/978-3-642-61284-8"},{"key":"24_CR10","first-page":"167","volume":"73","author":"H. Ehrig","year":"1973","unstructured":"H. Ehrig, M. Pfender, H.J. Schneider: GRAPH GRAMMARS: An Algebraic Approach, Proc IEEE Conf. SWAT 73, Iowa City (1973), 167\u2013180","journal-title":"Proc IEEE Conf. SWAT"},{"doi-asserted-by":"crossref","unstructured":"H. Ehrig, F. Parisi-Presicce: A Match Operation for Rule Based Modular System Design, to appear in Proc 7th ADT Workshop, Wusterhausen 1990, Springer LNCS","key":"24_CR11","DOI":"10.1007\/3-540-54496-8_5"},{"unstructured":"H. Ehrig, H. Weber: Algebraic Specifications of Modules, in \"Formal Models in Programming\" (E.J. Neuhold, G. Chronist, eds.), North-Holland 1985","key":"24_CR12"},{"unstructured":"J.A. Goguen, J.W. Thatcher, E.G. Wagner: 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":"24_CR13"},{"unstructured":"J.V. Guttag: The specification and application to programming of abstract data types. Ph.D. Thesis, University of Toronto, 1975","key":"24_CR14"},{"key":"24_CR15","first-page":"621","volume":"372","author":"F. Parisi-Presicce","year":"1989","unstructured":"F. Parisi-Presicce: Modular System Design applying Graph Grammar Techniques, Proc. 16 ICALP, LNCS 372 (1989), 621\u2013636","journal-title":"LNCS"},{"doi-asserted-by":"crossref","unstructured":"F. Parisi-Presicce: A Rule-Based Approach to Modular System Design, Proc. 12th Int. Conf. Soft. Eng., Nice (France) 1990, 202\u2013211","key":"24_CR16","DOI":"10.1109\/ICSE.1990.63624"},{"unstructured":"J.W. Thatcher, E.G. Wagner, J.B. Wright: Data type specification: parameterization and the power of specification techniques. 10th Symp. Theory of Computing (1978), 119\u2013132. Trans. Prog. Lang. and Syst. 4 (1982), 711\u2013732","key":"24_CR17"},{"key":"24_CR18","first-page":"27","volume":"19","author":"M. Wand","year":"1979","unstructured":"M. Wand: Final algebra semantics and data type extensions. JCSS 19 (1979), 27\u201344","journal-title":"JCSS"},{"unstructured":"S.N. Zilles: Algebraic specification of data types. Project MAC Progress Report 11, MIT 1974, 28\u201352","key":"24_CR19"}],"container-title":["Lecture Notes in Computer Science","Graph Grammars and Their Application to Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0017396.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:38:23Z","timestamp":1607549903000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0017396"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354054478X"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0017396","relation":{},"subject":[]}}