{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:59Z","timestamp":1725663419010},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540517221"},{"type":"electronic","value":"9783540467878"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51722-7_10","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:13:38Z","timestamp":1330186418000},"page":"157-184","source":"Crossref","is-referenced-by-count":2,"title":["Categories for the development of algebraic module specifications"],"prefix":"10.1007","author":[{"given":"H.","family":"Ehrig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.","family":"Fey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Hansen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"L\u00f6we","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Parisi-Presicce","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"10_CR1","first-page":"80","volume-title":"Current Trends in Prog. Method., IV: Data Structuring","author":"J.A. Goguen","year":"1978","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 Current Trends in Prog. Method., IV: Data Structuring (R.T. Yeh, Ed.), Prentice Hall, New Jersey (1978), 80\u2013149"},{"key":"10_CR2","first-page":"293","volume":"34","author":"E.K. Blum","year":"1987","unstructured":"Blum, E.K., Ehrig, H., Parisi-Presicce, F.: Algebraic Specification of Modules and Their Basic Interconnections, JCSS 34 (1987), 293\u2013339","journal-title":"JCSS"},{"key":"10_CR3","first-page":"359","volume":"185","author":"E.K. Blum","year":"1985","unstructured":"Blum, E.K., Parisi-Presicce, F.: The semantics of shared submodules specifications. Proc. TAPSOFT vol 1, 1985, LNCS 185, pp. 359\u2013373","journal-title":"LNCS"},{"key":"10_CR4","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1002\/mana.19740590107","volume":"59","author":"H. Ehrig","year":"1974","unstructured":"Ehrig, H.: F-Morphismen, Math. Nachr. 59 (1974), 75\u201393","journal-title":"Math. Nachr."},{"key":"10_CR5","first-page":"1","volume":"112","author":"H. Ehrig","year":"1981","unstructured":"\u2014: Algebraic theory of parameterized specifications with requirements. 6e Coll. Les Arbres en Algebre et Programmation, Genova 1981, Springer LNCS 112, pp. 1\u201324","journal-title":"LNCS"},{"unstructured":"\u2014: Notes on Modules in Duplex Institutions, TU Berlin, Sept 1985","key":"10_CR6"},{"doi-asserted-by":"crossref","unstructured":"Ehrig, H., Kreowski, H.-J., Padawitz, P.: Stepwise Specification and Implementation of Abstract Data Types, Proc. ICALP'78, Springer LNCS 62, 205\u2013226","key":"10_CR7","DOI":"10.1007\/3-540-08860-1_16"},{"key":"10_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification 1: Equations and Initial Semantics","author":"H. Ehrig","year":"1985","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, Springer Verlag, Berlin-Heidelberg-New York-Tokyo 1985"},{"unstructured":"Ehrig, H., Fey, W., Parisi-Presicce, F.: Distributive Laws for Composition and Union of Module Specifications for Software Systems, Proc. IFIP TC2 Working Conf. on Program Specification and Transformation, Bad T\u00f6lz, 1986","key":"10_CR9"},{"doi-asserted-by":"crossref","unstructured":"Ehrig, H., Parisi-Presicce, F., Fey, W., Blum, E.K.: Algebraic Theory of Module Specifications with Constraints, Proc. MFCS'86, LNCS 233, 59\u201377","key":"10_CR10","DOI":"10.1007\/BFb0016234"},{"unstructured":"Ehrig, H., Weber, H.: Algebraic Specification of Modules, in Formal Models in Programming (eds. Neuhold, E.J., Chronist, G.), North Holland (1985), pp. 231\u2013258","key":"10_CR11"},{"unstructured":"\u2014: Programming in the Large with Algebraic Module Specifications, Proc. IFIP Congress '86, Dublin, Sept 1986","key":"10_CR12"},{"unstructured":"Ehrig, H., Wagner, E.G., Thatcher, J.W.: Algebraic Constraints for Specifications and Canonical Form Results, Techn. Report Techn. Univ. Berlin, No 82-09 (1982)","key":"10_CR13"},{"key":"10_CR14","first-page":"188","volume":"154","author":"H. Ehrig","year":"1983","unstructured":"\u2014: Algebraic Specifications with Generating Constraints, Proc. ICALP 1983, Barcelona, Springer LNCS 154 (1983), 188\u2013202","journal-title":"Barcelona, Springer LNCS"},{"key":"10_CR15","first-page":"221","volume":"164","author":"J.A. Goguen","year":"1983","unstructured":"Goguen, J.A., Burstall, R.M.: Introducing Institutions, Springer LNCS 164 (1983), 221\u2013256","journal-title":"Springer LNCS"},{"key":"10_CR16","first-page":"576","volume":"45","author":"V. Giarratana","year":"1976","unstructured":"Giarratana, V., Gimona, F., Montanari, U.: Observability Concepts in Abstract Data Type Specifications. 5th Symp. Math. Foundations of Comp. Sci. (1976), Springer LNCS 45, 576\u2013587","journal-title":"LNCS"},{"key":"10_CR17","first-page":"265","volume":"140","author":"J.A. Goguen","year":"1983","unstructured":"Goguen, J.A., Meseguer, J.: Universal Realization, Persistent Interconnection and Implementation of Abstract Modules, Proc. 9th ICALP Aarhus, 1982, LNCS 140, (1983), 265\u2013281","journal-title":"LNCS"},{"issue":"1","key":"10_CR18","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1109\/TSE.1975.6312816","volume":"SE-1","author":"B.H. Liskov","year":"1975","unstructured":"Liskov, B.H., Zilles, S.N.: Specification Techniques for Data Abstraction, IEEE Trans. on Soft. Eng., Vol SE-1, No 1 (1975), 7\u201319","journal-title":"IEEE Trans. on Soft. Eng."},{"issue":"10","key":"10_CR19","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1145\/954627.954630","volume":"12","author":"M.E. Majster","year":"1977","unstructured":"Majster, M.E.: Limits of the Algebraic Specification of Data Types, SIGPLAN Notices 12, 10(1977), 37\u201342","journal-title":"SIGPLAN Notices"},{"key":"10_CR20","volume-title":"Systeme direkt verbundener Kategorien und universelle Funktoren","author":"U. Oberst","year":"1964","unstructured":"Oberst, U.: Systeme direkt verbundener Kategorien und universelle Funktoren, Diss. M\u00fcnchen 1964"},{"issue":"5","key":"10_CR21","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_CR22","first-page":"30","volume":"214","author":"F. Parisi-Presicce","year":"1986","unstructured":"Parisi-Presicce, F.: Inner and Mutual Compatibility of Basic Operations on Module Specifications, Proc. CAAP'86, Nice, Springer LNCS 214, (1986), 30\u201344","journal-title":"LNCS"},{"unstructured":"\u2014: Partial Composition and Recursion of Module Specifications, Proc. TAPSOFT '87, Springer LNCS 249, 217\u2013231","key":"10_CR23"},{"unstructured":"Reichel, H.: Behavioral Equivalence \u2014 A Unifying Concept for Initial and Final Specification Methods, Proc. 3rd Hungarian Comp. Sci. Conf., Budapest, 1981, 27\u201339","key":"10_CR24"},{"key":"10_CR25","first-page":"337","volume":"173","author":"D. Sannella","year":"1984","unstructured":"Sannella, D., Tarlecki, A.: Buildung Specifications in an Arbitrary Institution, LNCS 173 (1984), 337\u2013356","journal-title":"LNCS"},{"unstructured":"\u2014: Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited, Proc. TAPSOFT'87, Springer LNCS 249, 96\u2013110","key":"10_CR26"},{"unstructured":"Sannella, D., Wirsing, M.: A Kernel Language for Algebraic Specification and Implementation, Internal Report No CSR-131-83, Univ. of Edinburgh, 1\u201344","key":"10_CR27"},{"unstructured":"Tarlecki, A.: Software System Development \u2014 An Abstract View, Proc. IFIP Congress '86, Dublin, Sept 1986","key":"10_CR28"},{"doi-asserted-by":"crossref","unstructured":"Weber, H., Ehrig, H.: Specification of Modular Systems, Transact. Software Engineering, June 1986","key":"10_CR29","DOI":"10.1109\/TSE.1986.6312979"}],"container-title":["Lecture Notes in Computer Science","Categorical Methods in Computer Science With Aspects from Topology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51722-7_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:22:35Z","timestamp":1605630155000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51722-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540517221","9783540467878"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-51722-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}