{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:43Z","timestamp":1725663403933},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540176602"},{"type":"electronic","value":"9783540477464"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-17660-8_57","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:16:57Z","timestamp":1330197417000},"page":"217-231","source":"Crossref","is-referenced-by-count":5,"title":["Partial composition and recursion of module specifications"],"prefix":"10.1007","author":[{"given":"Francesco","family":"Parisi-Presicce","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"15_CR1","first-page":"342","volume":"185","author":"E. Astesiano","year":"1985","unstructured":"Astesiano E., Mascari G.F., Reggio G., Wirsing M., On the Parametrized Algebraic Specification of Concurrent Systems, CAAP 85, LNCS 185(1985) 342\u2013358","journal-title":"CAAP 85, LNCS"},{"key":"15_CR2","unstructured":"Benson D.B., Guessarian I., Algebraic Solutions to Recursion Schemes, L.I.T.P. Tech.Rep. 81\u201366. Univ. Paris VII, Dec. 1981"},{"key":"15_CR3","first-page":"26","volume":"71","author":"A. Bertoni","year":"1979","unstructured":"Bertoni A., Mauri G., Miglioli P.A., A Characterization of Abstract Data as Model-Theoretic Invariants, ICALP 79, LNCS 71(1979) 26\u201337","journal-title":"ICALP 79, LNCS"},{"key":"15_CR4","unstructured":"Blum, E.K., An Abstract System Model of Ada Semantics, TRW Technical Report, Aug. 1984."},{"key":"15_CR5","unstructured":"Blum E.K., Ehrig H., Parisi-Presicce F., Algebraic Specification of Modules and their Basic Interconnections, to appear in JCSS 86."},{"key":"15_CR6","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":"Proc. TAPSOFT 85 Vol. 1, LNCS"},{"key":"15_CR7","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":"15_CR8","doi-asserted-by":"publisher","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":"15_CR9","unstructured":"Ehrig, H., Fey, W., Parisi-Presicce, F., Distributive Laws for Composition and Union of Module Specifications for Software Systems, Proc.IFIP TC2 Work. Conf. on Program Specification and Transformation, Bad Tolz, April 1986."},{"key":"15_CR10","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":"15_CR11","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":"Proc. Aarhus Workshop on Prog. Spec., 1981, LNCS"},{"key":"15_CR12","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":"15_CR13","first-page":"188","volume":"154","author":"H. Ehrig","year":"1983","unstructured":"Ehrig H., Wagner, E.G., Thatcher, J.W., Algebraic Specifications with Generating Constraints, ICALP 83, LNCS 154 (1983) 188\u2013202.","journal-title":"ICALP 83, LNCS"},{"key":"15_CR14","unstructured":"Ehrig, H., Weber, H., Algebraic Specification of Modules, Proc IFIP Working Conference on Formal Models in Programming, Vienna 1985."},{"key":"15_CR15","unstructured":"Ehrig H., Weber, H., Programming in the Large with Algebraic Module Specifications, Proc. IFIP Congress '86, Dublin, Sept 1986."},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Futatsugi, K., Goguen, J.A., Joannaud, J.-P., Meseguer, J., Principles of OBJ2, 12th ACM POPL, New Orleans, 1985, 52\u201366.","DOI":"10.1145\/318593.318610"},{"key":"15_CR17","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/2166.357212","volume":"5","author":"H. Ganzinger","year":"1983","unstructured":"Ganzinger, H., Parametrized Specifications: Parameter Passing and Implementation, ACM TOPLAS 5, 3 (1983).","journal-title":"ACM TOPLAS"},{"key":"15_CR18","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. Found. of Comp. Sci. 1976, LNCS 45 (1976) 576\u2013587.","journal-title":"LNCS"},{"key":"15_CR19","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":"ICALP 82, LNCS"},{"key":"15_CR20","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":"15_CR21","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":"15_CR22","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":"15_CR23","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":"Proc. TAPSOFT 85 Vol 1, LNCS"},{"key":"15_CR24","unstructured":"Parisi-Presicce, F., Union and Actualization of Module Specifications: Some Compatibility Results, Techn. Report, Univ. of Southern California, 1985, to appear in JCSS."},{"key":"15_CR25","doi-asserted-by":"crossref","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.","DOI":"10.1007\/BFb0022657"},{"issue":"5","key":"15_CR26","doi-asserted-by":"publisher","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":"15_CR27","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":"15_CR28","doi-asserted-by":"crossref","unstructured":"Sannella, D., Tarlecki, A., Program Specification and Development in Standard ML, 12th ACM POPL, New Orleans, 1985, 67\u201377.","DOI":"10.1145\/318593.318614"},{"key":"15_CR29","first-page":"308","volume":"185","author":"D. Sannella","year":"1985","unstructured":"Sannella, D., Tarlecki, A., On Observational Equivalence and Algebraic Specification, CAAP 85, LNCS 185 (1985) 308\u2013322.","journal-title":"CAAP 85, LNCS"},{"key":"15_CR30","unstructured":"Sannella, D., Wirsing, M., A Kernel Language for Algebraic Specification and Implementation, Internal Report No. CSR-131-83, Univ. Edinburgh, 1\u201344."},{"key":"15_CR31","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"},{"key":"15_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00264293","volume":"20","author":"M. Wirsing","year":"1983","unstructured":"Wirsing, M., Pepper, P., Partsch, H., Dosch, W., Broy, M., On Hierarchies of Abstract Data Types, Acta Inform. 20 (1983) 1\u201333.","journal-title":"Acta Inform."}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '87"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-17660-8_57.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:13:13Z","timestamp":1605643993000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17660-8_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540176602","9783540477464"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-17660-8_57","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}