{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:40Z","timestamp":1725456040190},"publisher-location":"Berlin\/Heidelberg","reference-count":25,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354019021X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0026102","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T07:47:21Z","timestamp":1132645641000},"page":"149-164","source":"Crossref","is-referenced-by-count":4,"title":["Product and iteration of module specifications"],"prefix":"10.1007","author":[{"given":"Francesco","family":"Parisi-Presicce","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Blum E.K., An Abstract System Model of Ada Semantics, TRW Technical Report, Aug. 1984."},{"issue":"2\/3","key":"11_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, 2\/3 (April\/June 1987) 293\u2013339.","journal-title":"JCSS"},{"key":"11_CR3","first-page":"359","volume":"185","author":"E.K. Blum","year":"1985","unstructured":"Blum E.K., Parisi-Presicce F., The Semantics of Shared Submodule Specifications, Proc. TAPSOFT 85 Vol. 1, LNCS 185 (1985) 359\u2013373.","journal-title":"LNCS"},{"key":"11_CR4","unstructured":"Burstall R.M., Goguen J.A., Putting Theories together to make Specifications. Proc. 5th Intern. Joint Conf. on Artif. Intell., Cambridge 1977, 1045\u20131058."},{"key":"11_CR5","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0304-3975(83)90098-1","volume":"27","author":"H.-D. Ehrich","year":"1983","unstructured":"Ehrich H.-D., Lipeck U., Algebraic Domain Equations, Theoret. Comp. Sci. 27 (1983) 167\u2013196.","journal-title":"Theoret. Comp. Sci."},{"key":"11_CR6","unstructured":"Ehrig H., Fey W., Parisi-Presicce F., Distributve Laws for Composition and Union of Module Specifications for Software Systems, Proc. IFIP Work. Conf. on Prog.Spec.and Transf.(ed. L.G.L.T.Meertens) North-Holland (1987) 293\u2013312"},{"key":"11_CR7","first-page":"59","volume":"233","author":"H. Ehrig","year":"1986","unstructured":"Ehrig H., Fey W., Parisi-Presicce F., Blum E.K., Algebraic Theory of Module Specifications with Constraints, Proc. Math. Found. of Comp. Sci, LNCS 233 (1986) 59\u201377.","journal-title":"Proc. Math. Found. of Comp. Sci, LNCS"},{"key":"11_CR8","first-page":"322","volume":"134","author":"H. Ehrig","year":"1982","unstructured":"Ehrig H., Kreowski H.-J., Thatcher J.W., Wagner E.G., Wright J.B., Parameter Passing in Algebraic Specification Languages, Proc. Aarhus Workshop on Prog. Spec., 1981, LNCS 134 (1982) 322\u2013369.","journal-title":"LNCS"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Ehrig H., Mahr B., Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics, EATCS Monographs on Theoret. Comp. Sci. Vol 6, Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"11_CR10","unstructured":"Ehrig H., Weber H., Algebraic Specification of Modules, in \"Formal Models in Programming\" (E.J.Neuhold and G.Chronist, Eds.) North-Holland, 1985."},{"key":"11_CR11","unstructured":"Ehrig H., Weber H., Programming in the Large with Algebraic Module Specifications, Proc. IFIP Congress '86, Dublin, Sept 1986."},{"key":"11_CR12","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 MFCS, LNCS 45 (1976) 576\u2013587","journal-title":"LNCS"},{"key":"11_CR13","first-page":"265","volume":"140","author":"J.A. Goguen","year":"1982","unstructured":"Goguen J.A., Meseguer J., Universal Realization, Persistent Interconnection and Implementation of Abstract Modules, ICALP 82, LNCS 140 (1982) 265\u2013281.","journal-title":"LNCS"},{"key":"11_CR14","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":"11_CR15","volume-title":"Category Theory","author":"H. Herrlich","year":"1973","unstructured":"Herrlich H., Strecker G.E., Category Theory, Allyn and Bacon Inc., Boston, 1973."},{"issue":"1","key":"11_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."},{"key":"11_CR17","first-page":"323","volume":"185","author":"P. Padawitz","year":"1985","unstructured":"Padawitz P., Parameter Preserving Data Type Specifications, Proc. TAPSOFT 85 Vol 1, LNCS 185 (1985) 323\u2013341.","journal-title":"LNCS"},{"issue":"1","key":"11_CR18","first-page":"72","volume":"35","author":"F. Parisi-Presicce","year":"1987","unstructured":"Parisi-Presicce F., Union and Actualization of Module Specifications: Some Compatibility Results, JCSS 35, 1 (1987) 72\u201395","journal-title":"JCSS"},{"key":"11_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, LNCS 214 (1986) 30\u201344. Full version: Techn. Rep. 86-06, Techn. Univ. Berlin, April 1986.","journal-title":"LNCS"},{"key":"11_CR20","first-page":"217","volume":"249","author":"F. Parisi-Presicce","year":"1987","unstructured":"Parisi-Presicce F., Partial Composition and Recursion of Module Specifications, Proc. CAAP 87, LNCS 249 (1987) 217\u2013231.","journal-title":"LNCS"},{"issue":"5","key":"11_CR21","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1145\/355602.361309","volume":"15","author":"D.L. Parnas","year":"1972","unstructured":"Parnas D.L., A Technique for Software Module Specification with Examples, Comm. ACM 15, 5(1972) 330\u2013336.","journal-title":"Comm. ACM"},{"key":"11_CR22","unstructured":"Reichel H., Behavioral Equivalence-A Unifying Concept for Initial and Final Specification Methods, Proc. 3rd Hung. Comp. Sci. Conf., Budapest 1981, 27\u201339"},{"key":"11_CR23","unstructured":"Sannella D., Wirsing M., A Kernel Language for Algebraic Specification and Implementation, Internal Report No. CSR-131-83, Univ. Edinburgh, 1\u201344."},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Thatcher J.W., Wagner E., Wright J.B., Data Type Specification: Parametrization and the Power of Specifiation Techniques, 10th STOC (1987) 119\u2013132 and Trans. Prog. Lang. Syst, 4 (1982) 711\u2013732","DOI":"10.1145\/69622.357192"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"Weber, H., Ehrig, H., Specification of Modular Systems, IEEE Trans. Soft. Eng., June 1986.","DOI":"10.1109\/TSE.1986.6312979"}],"container-title":["Lecture Notes in Computer Science","CAAP '88"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0026102","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T02:56:56Z","timestamp":1586573816000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026102"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354019021X"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/bfb0026102","relation":{},"subject":[]}}