{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T13:24:05Z","timestamp":1726406645556},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540520481"},{"type":"electronic","value":"9783540468721"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-52048-1_43","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:19:13Z","timestamp":1330204753000},"page":"181-192","source":"Crossref","is-referenced-by-count":0,"title":["Algebraic software development concepts for module and configuration families"],"prefix":"10.1007","author":[{"given":"Hartmut","family":"Ehrig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Werner","family":"Fey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Horst","family":"Hansen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"L\u00f6we","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dean","family":"Jacobs","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G.: \u201dAn Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types\u201d, IBM Research Report RC 6487, 1976. Also: Current Trends in Programming Methodology IV: Data Structuring (R. Yeh, ed.), Prentice Hall, 1978, pp. 80\u2013144","key":"16_CR1"},{"key":"16_CR2","first-page":"293","volume":"34","author":"E.K. Blum","year":"1987","unstructured":"Blum, E.K., Ehrig, H., Parisi-Presicce, F.: \u201cAlgebraic Specification of Modules and Their Basic Interconnections\u201d, JCSS Vol. 34, 1987, pp. 293\u2013339","journal-title":"JCSS"},{"key":"16_CR3","volume-title":"Module Algebra","author":"J.A. Bergstra","year":"1986","unstructured":"Bergstra, J.A., Heering, J., Klint, P.: \u201cModule Algebra\u201d, Centre for Mathematics and Computer Science, Amsterdam, Report CS-R 8617, 1986"},{"unstructured":"Ehrig, H., Fey, W., Hansen, H., Jacobs, D., L\u00f6we, M.: Algebraic Concepts for the Evolution of Module Families, in Proc. AMAST (International Conference on Algebraic Methodology and Software Technology), Iowa City (USA), May 22\u201324, 1989, pp. 85\u201388","key":"16_CR4"},{"key":"16_CR5","volume-title":"Algebraic Specification of Modules and Configuration Families","author":"H. Ehrig","year":"1988","unstructured":"Ehrig, H., Fey, W., Hansen, H., Jacobs, D., Langen, A., L\u00f6we, M., Parisi-Presicce, F.: \u201dAlgebraic Specification of Modules and Configuration Families\u201d, Research Report No. 88-17, Department of Computer Science, TU Berlin, 1988"},{"doi-asserted-by":"crossref","unstructured":"Ehrig, H., Fey, W., Hansen, H., L\u00f6we, M., Parisi-Presicce, F.: \u201dCategories for the Development of Algebraic Module Specifications\u201d, in Ehrig, H., Herrlich, M., Kreowski, H.-J., Preu\u00df, G. (eds.): \u201dCategorical Methods in Computer Science with Aspects from Topology\u201d, LNCS 393, 1989, Springer Verlag","key":"16_CR6","DOI":"10.1007\/3-540-51722-7_10"},{"key":"16_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification 1","author":"H. Ehrig","year":"1985","unstructured":"Ehrig, H., Mahr, B.: \u201dFundamentals of Algebraic Specification 1\u201d, Springer Verlag, Berlin, 1985"},{"unstructured":"Ehrig, H., Weber, H.: \u201dProgramming in the Large with Algebraic Module Specifications\u201d, Proc. IFIP Congress '86, Dublin, September 1986, pp. 675\u2013684","key":"16_CR8"},{"doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Messeguer: \u201dUniversal Realization, persistent Interconnection and Implementation of Abstract Modules\u201d, Proc. 9th ICALP, LNCS 140, 1982, pp. 265\u2013281, Springer Verlag","key":"16_CR9","DOI":"10.1007\/BFb0012775"},{"unstructured":"Hull, R., Jacobs, D.: \u201dTowards a Formalism for Module Interconnection and System Evolution\u201d, Proceedings of\u2019 First Workshop on Database Programming Languages', Roscoff, 1987","key":"16_CR10"},{"key":"16_CR11","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1145\/942572.807045","volume":"9","author":"B. Liskov","year":"1974","unstructured":"Liskov, B., Zilles, S.: \u201dProgramming with Abstract Data Types\u201d, SIGPLAN Notices 9, 1974, pp. 55\u201359","journal-title":"SIGPLAN Notices"},{"key":"16_CR12","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1109\/TSE.1987.233163","volume":"SE-13","author":"K. Narayanaswamy","year":"1987","unstructured":"Narayanaswamy, K., Scacchi, W.: \u201dMaintaining Configurations of Evolving Software Systems\u201d, IEEE Transactions on Software Engineering, Vol. SE-13, March 1987, pp. 324\u2013334","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"5","key":"16_CR13","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1145\/355602.361309","volume":"15","author":"D. L. Parnas","year":"1972","unstructured":"Parnas, D. L.: \u201dA Technique for Software Module Specification with Examples\u201d, Communications of the ACM, Vol. 15, No. 5, 1972, pp. 330\u2013336","journal-title":"Communications of the ACM"},{"key":"16_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/TSE.1976.233797","volume":"SE-2","author":"D. L. Parnas","year":"1976","unstructured":"Parnas, D. L.: \u201dOn the Design and Development of Program Families\u201d, IEEE Transactions on Software Engineering, Vol. SE-2, 1976, pp. 1\u20139","journal-title":"IEEE Transactions on Software Engineering"},{"key":"16_CR15","series-title":"ICS Technical Report","volume-title":"Module Interconnection Languages: A Survey","author":"R. Prieto-Diaz","year":"1982","unstructured":"Prieto-Diaz, R., Neighbors, J.: \u201dModule Interconnection Languages: A Survey\u201d, ICS Technical Report 189, University of California, Irvine, 1982; also in: The Journal of Systems and Software, Vol. 6, 1986, pp. 307\u2013334"},{"doi-asserted-by":"crossref","unstructured":"Reichel, H.: \u201dBehavioural Program Specification\u201d, Proc. Category Theory and Computer Programming, Guildford, September 1985, LNCS 240, pp. 390\u2013411, Springer Verlag","key":"16_CR16","DOI":"10.1007\/3-540-17162-2_134"},{"doi-asserted-by":"crossref","unstructured":"Sannella, D., Tarlecki, A.: \u201dExtended ML: an institution-independent framework for formal program development\u201d Proc. Category Theory and Computer Programming, Guildford, September 1985, LNCS 240, pp. 364\u2013389, Springer Verlag","key":"16_CR17","DOI":"10.1007\/3-540-17162-2_133"},{"key":"16_CR18","first-page":"711","volume":"4","author":"J.W. Thatcher","year":"1982","unstructured":"Thatcher, J.W., Wagner, E.G., Wright, J.B.: \u201dData Type Specification: Parameterization and the Power of Specification Techniques\u201d, 10th Symp. Theory of Computing, 1978, pp. 119\u2013132 Trans. Prog. Languages and Systems 4, 1982, pp. 711\u2013732","journal-title":"10th Symp. Theory of Computing"},{"key":"16_CR19","doi-asserted-by":"crossref","first-page":"786","DOI":"10.1109\/TSE.1986.6312979","volume":"SE-12","author":"H. Weber","year":"1986","unstructured":"Weber, H., Ehrig, H.: \u201dSpecification of Modular Systems\u201d, IEEE Transaction on Software Engineering, Vol. SE-12, 1986, pp. 786\u2013798","journal-title":"IEEE Transaction on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52048-1_43.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:23:12Z","timestamp":1605648192000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52048-1_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540520481","9783540468721"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-52048-1_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}