{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:24Z","timestamp":1761611184864},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540612285"},{"type":"electronic","value":"9783540683889"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61228-9_84","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T14:17:05Z","timestamp":1153145825000},"page":"137-154","source":"Crossref","is-referenced-by-count":13,"title":["Pragmatic and semantic aspects of a module concept for graph transformation systems"],"prefix":"10.1007","author":[{"given":"Hartmut","family":"Ehrig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregor","family":"Engels","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,9,7]]},"reference":[{"key":"10_CR1","unstructured":"Ehrig, H., Engels, G.: Towards a Module Concept for Graph Transformation Systems. Technical Report 93-34, Vakgroep Informatica, Rijksuniversiteit Leiden, October 1993"},{"key":"10_CR2","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/0304-3975(94)90110-4","volume":"135","author":"H. Ehrig","year":"1994","unstructured":"Ehrig, H., Gr\u00f6\u00dfe-Rhode, M.: Functional Theory of Parameterized Specifications in a General Specification Framework. TCS 135 (1994), 221\u2013266.","journal-title":"TCS"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Habel, A., Kreowski, H.J., Parisi-Presicce, F.: From Graph Grammars to High Level Replacement Systems, LNCS 532, Springer, Berlin, 269\u2013291","DOI":"10.1007\/BFb0017395"},{"key":"10_CR4","first-page":"1","volume":"73","author":"H. Ehrig","year":"1979","unstructured":"Ehrig, H.: Introduction to the Algebraic Theory of Graph Grammars, Springer LNCS 73 (1979), 1\u201369","journal-title":"Springer LNCS"},{"key":"10_CR5","unstructured":"Ehrig et al: Towards Distributed Graph Grammars, in [ENRR, 87], 86\u201398"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Ehrig, H., L\u00f6we, M.: Parallel and Distributed Derivations in the Single Pushout Approach, TCS, 123\u2013143 (1993)","DOI":"10.1016\/0304-3975(93)90066-3"},{"issue":"No.2","key":"10_CR7","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1145\/128894.128895","volume":"1","author":"G. Engels","year":"1992","unstructured":"G. Engels, C. Lewerentz, M. Nagl, W. Sch\u00e4fer, A. Sch\u00fcrr: Building Integrated Software Development Environments, Part I: Tool Specification. ACM Transactions on Software Engineering and Methodology, Vol.1, No.2, April 1992, 135\u2013167","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Engels, G., Lewerentz, L., Sch\u00e4fer, W.: Graph Grammar Engineering: A Software Specification Method, in [ENRR 87], 186\u2013201","DOI":"10.1007\/3-540-18771-5_53"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specifications 1\/2. EATCS-Monographs in TCS, Springer 1985\/1990","DOI":"10.1007\/978-3-642-69962-7"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Ehrig., H, Nagl, M., Rozenberg, G., Rosenfeld, A.: Graph Grammars and their Application to Computer Science, Springer LNCS 291 (1987)","DOI":"10.1007\/3-540-18771-5"},{"key":"10_CR11","unstructured":"Fiadeiro, J.L., Reichwein, G.: A Categorical Theory of Superposition, Technical Report, Department of Mathematics, University of Lisbon 17\/92 (1992)"},{"issue":"1","key":"10_CR12","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J.A. Goguen","year":"1992","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: Abstract Model Theory for Specification and Programming, JACM 39, 1, 1992, 95\u2013146","journal-title":"JACM"},{"key":"10_CR13","series-title":"Technical Report B-19","first-page":"55","volume-title":"Colloquium on Graph Transformation and Its Application in Computer Science","author":"H.-J. Kreowski","year":"1995","unstructured":"Kreowski, H.-J.: Graph Grammars for Software Specification and Programming: An Eulogy in Praise of GRACE. In G. Valiente Feruglio, F. Rossello Llompart (Eds.): Colloquium on Graph Transformation and Its Application in Computer Science. Technical Report B-19, June 1995, Universitat de les Illes Balears, Mallorca (1995), 55\u201362"},{"key":"10_CR14","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0020-0255(90)90042-9","volume":"52","author":"H.-J. Kreowski","year":"1990","unstructured":"Kreowski, H.-J., Rozenberg, G.: On Structured Graph Grammars. Information Sciences 52, 185\u2013210 (1990)","journal-title":"Information Sciences"},{"key":"10_CR15","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0304-3975(93)90068-5","volume":"109","author":"M. L\u00f6we","year":"1993","unstructured":"L\u00f6we, M.: Algebraic Approach to Single Pushout Graph Transformations, TCS 109, 181\u2013224 (1993)","journal-title":"TCS"},{"issue":"5","key":"10_CR16","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1145\/355602.361309","volume":"15","author":"D.C. Parnas","year":"1972","unstructured":"Parnas, D.C.: A Technique for Software Module Specification with Examples, CACM 15, 5 (1972), 330\u2013336","journal-title":"CACM"},{"key":"10_CR17","unstructured":"Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object-Oriented Modeling and Design, Prentice-Hall 1991"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Rozenberg, G.: An Introduction to the NLC way of rewriting graphs. In [ENRR 87], 55\u201366","DOI":"10.1007\/3-540-18771-5_44"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A.: Operationales Spezifizieren mit programmierten Graphersetzungssystemen, DUV 1991","DOI":"10.1007\/978-3-663-14577-6"},{"key":"10_CR20","first-page":"641","volume-title":"LNCS 532","author":"A. Sch\u00fcrr","year":"1991","unstructured":"Sch\u00fcrr, A.: PROGRESS: A VHL-language based on graph grammars. In H. Ehrig, H.-J. Kreowski, G. Rozenberg (eds.): Proceedings of the 4th International Workshop on Graph Grammars and Their Application to Computer Science, Bremen, March 1990, Springer, LNCS 532, Berlin 1991, 641\u2013655"}],"container-title":["Lecture Notes in Computer Science","Graph Grammars and Their Application to Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61228-9_84","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T02:02:05Z","timestamp":1555725725000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61228-9_84"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540612285","9783540683889"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-61228-9_84","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}