{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:10:27Z","timestamp":1725455427204},"publisher-location":"Berlin\/Heidelberg","reference-count":24,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540167838"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0016234","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T05:39:17Z","timestamp":1131860357000},"page":"59-77","source":"Crossref","is-referenced-by-count":10,"title":["Algebraic theory of module specifications with constraints"],"prefix":"10.1007","author":[{"given":"H.","family":"Ehrig","sequence":"first","affiliation":[]},{"given":"W.","family":"Fey","sequence":"additional","affiliation":[]},{"given":"F.","family":"Parisi-Presicce","sequence":"additional","affiliation":[]},{"given":"E. K.","family":"Blum","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","first-page":"80","volume-title":"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":"5_CR2","unstructured":"Blum, E.K., Ehrig, H., Parisi-Presicce, F.: Algebraic Specification of Modules and Their Basic Interconnections, to appear in JCSS 1986"},{"key":"5_CR3","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, LNCS 185, pp. 359\u2013373","journal-title":"Proc. TAPSOFT"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Ehrig, H.: Algebraic theory of parameterized specifications with requirements. 6e Coll. Les Arbres en Algebre et Programmation, Genova 1981, Springer LNCS 112, pp. 1\u201324","DOI":"10.1007\/3-540-10828-9_51"},{"key":"5_CR5","unstructured":"\u2014: Notes on Modules in Duplex Institutions, TU Berlin, Sept 1985"},{"key":"5_CR6","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"},{"key":"5_CR7","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":"5_CR8","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":"5_CR9","unstructured":"\u2014: Programming in the Large with Algebraic Module Specifications, Proc. IFIP Congress '86, Dublin, Sept 1986"},{"key":"5_CR10","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":"5_CR11","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), pp. 188\u2013202","journal-title":"Proc. ICALP 1983, Barcelona, Springer LNCS"},{"key":"5_CR12","unstructured":"Fey, W.: The Module Specification Language ACT TWO, in preparation, Berlin 1986"},{"key":"5_CR13","first-page":"221","volume":"164","author":"J.A. Goguen","year":"1983","unstructured":"Goguen, J.A., Burstall, R.M.: Introducing Institutions, Springer LNCS 164 (1983), pp. 221\u2013256","journal-title":"Springer LNCS"},{"key":"5_CR14","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, pp. 576\u2013587"},{"key":"5_CR15","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), pp. 265\u2013281","journal-title":"LNCS"},{"issue":"1","key":"5_CR16","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":"5_CR17","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"},{"issue":"5","key":"5_CR18","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), pp. 330\u2013336","journal-title":"CACM"},{"key":"5_CR19","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), pp. 30\u201344","journal-title":"LNCS"},{"key":"5_CR20","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":"5_CR21","first-page":"337","volume":"173","author":"D. Sannella","year":"1984","unstructured":"Sannella, D., Tarlecki, A.: Building Specifications in an Arbitrary Institution, LNCS 173 (1984), pp. 337\u2013356","journal-title":"LNCS"},{"key":"5_CR22","unstructured":"Sannella, D., Wirsing, M.: A Kernel Language for Algebraic Specification and Implementation, Internal Report No. CSR-131-83, Univ. Edinburgh, 1\u201344"},{"key":"5_CR23","unstructured":"Tarlecki, A.: Software System Development \u2014 An Abstract View, Proc. IFIP Congress '86, Dublin, Sept 1986"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Weber,H., Ehrig, H.: Specification of Modular Systems, Transact. Soft. Eng., June 1986","DOI":"10.1109\/TSE.1986.6312979"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1986"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0016234.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:35:30Z","timestamp":1607549730000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0016234"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540167838"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/bfb0016234","relation":{},"subject":[]}}