{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T07:08:30Z","timestamp":1750489710924},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540566106"},{"type":"electronic","value":"9783540475989"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56610-4_65","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:20:27Z","timestamp":1330255227000},"page":"199-214","source":"Crossref","is-referenced-by-count":5,"title":["A general framework for modular implementations of modular system specifications"],"prefix":"10.1007","author":[{"given":"Michel","family":"Bidoit","sequence":"first","affiliation":[]},{"given":"Rolf","family":"Hennicker","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"14_CR1","unstructured":"G. Bernot, M. Bidoit: Proving the correctness of algebraically specified software: modularity and observability issues. Proc. AMAST '91, 2nd International Conference on Algebraic Methodology of Software Technology, Techn. Report of the University of Iowa, 1991."},{"key":"14_CR2","first-page":"1","volume":"332","author":"M. Bidoit","year":"1987","unstructured":"M. Bidoit: The stratified loose approach: A generalization of initial and loose semantics. In: Recent Trends in Data Type Specification, Selected Papers of the 5th Workshop on Specifications of Abstract Data Types, Lecture Notes in Computer Science 332, 1\u201322, 1987.","journal-title":"Lecture Notes in Computer Science"},{"key":"14_CR3","unstructured":"M. Bidoit: Pluss, un language pour le d\u00e9veloppement de sp\u00e9cifications alg\u00e9briques modulaires. These d'\u00c9tat, Universit\u00e9 Paris-Sud, 1989."},{"key":"14_CR4","unstructured":"R. Diaconescu, J. Goguen, P. Stefaneas: Logical support for modularisation. To appear in: Proc. of Workshop on Logical Frameworks, Edinburgh, 1991."},{"key":"14_CR5","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/BFb0035766","volume":"372","author":"H. Ehrig","year":"1989","unstructured":"H. Ehrig, P. Pepper, F. Orejas: On recent trends in algebraic specification. Proc. ICALP '89, Lecture Notes in Computer Science 372, 263\u2013288, 1989.","journal-title":"Lecture Notes in Computer Science"},{"key":"14_CR6","unstructured":"H. Ehrig, M. Baldamus, F. Orejas: New concepts of amalgamation and extension for a general theory of specification. Proc. of the 8th Workshop on Specifications of Abstract Data Types, 1991, to appear in: Lecture Notes in Computer Science."},{"key":"14_CR7","first-page":"3","volume":"577","author":"M. C. Gaudel","year":"1992","unstructured":"M. C. Gaudel: Structuring and modularizing algebraic specifications: the PLUSS specification language, evolution and perspectives. Proc. STACS '92, Lecture Notes in Computer Science 577, 3\u201320, 1992.","journal-title":"Lecture Notes in Computer Science"},{"key":"14_CR8","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/3-540-19027-9_8","volume":"300","author":"M. C. Gaudel","year":"1988","unstructured":"M. C. Gaudel, Th. Moineau: A theory of software reusability. Proc. ESOP '88. Lecture Notes in Computer Science 300, 115\u2013130, 1988.","journal-title":"Lecture Notes in Computer Science"},{"key":"14_CR9","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/3-540-12896-4_366","volume":"164","author":"J. A. Goguen","year":"1984","unstructured":"J. A. Goguen, R. M. Burstall: Introducing institutions. Logic of Programs, Lecture Notes in Computer Science 164, 221\u2013255, 1984.","journal-title":"Lecture Notes in Computer Science"},{"issue":"3","key":"14_CR10","first-page":"326","volume":"4","author":"R. Hennicker","year":"1990","unstructured":"R. Hennicker: Context induction: a proof principle for behavioural abstractions and algebraic implementations. Formal Aspects of Computing 4 (3), 326\u2013345, 1990.","journal-title":"Formal Aspects of Computing"},{"key":"14_CR11","unstructured":"R. Hennicker: Behavioural specification and implementation of modular software systems. Technical Report MIP-9203, University of Passau, 1992."},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"F. Orejas, P. Nivela, H. Ehrig: Semantical constructions for categories of behavioral specifications. Proc. Int. Workshop on Categorical Methods in Computer Science with Applications to Topology. Lecture Notes in Computer Science 393, 1989.","DOI":"10.1007\/3-540-51722-7_13"},{"key":"14_CR13","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1007\/3-540-54496-8_12","volume":"534","author":"F. Orejas","year":"1990","unstructured":"F. Orejas, M. P. Nivela: Constraints for behavioural specifications. Proc. 7th Workshop on Specification of Abstract Data Types. Lecture Notes in Computer Science 534, 220\u2013245, 1990.","journal-title":"Lecture Notes in Computer Science"},{"key":"14_CR14","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/3-540-13346-1_17","volume":"173","author":"D. T. Sannella","year":"1984","unstructured":"D. T. Sannella, A. Tarlecki: Building specifications in an arbitrary institution. Proc. of the Int. Symposium on Semantics of Data Types. Lecture Notes in Computer Science 173, 337\u2013356, 1984.","journal-title":"Lecture Notes in Computer Science"},{"key":"14_CR15","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/3-540-17660-8_50","volume":"249","author":"D. T. Sannella","year":"1984","unstructured":"D. T. Sannella, A. Tarlecki: Toward formal development of programs from algebraic specifications: implementations revisited. Proc. TAPSOFT '87, Lecture Notes in Computer Science 249, 96\u2013110, 1984.","journal-title":"Lecture Notes in Computer Science"},{"key":"14_CR16","unstructured":"D. T. Sannella, A. Tarlecki, S. Sokolowski: Toward formal development of programs from algebraic specifications: parameterisation revisited. Forschungsberichte des Studiengangs Informatik 6\/90, Universit\u00e4t Bremen, 1990."},{"key":"14_CR17","unstructured":"O. Schoett: Data abstraction and correctness of modular programming. Ph. D. thesis, CST-42-87, University of Edinburgh, 1987."},{"key":"14_CR18","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0304-3975(86)90051-4","volume":"42","author":"M. Wirsing","year":"1986","unstructured":"M. Wirsing: Structured algebraic specifications: a kernel language. Theoretical Computer Science 42, 123\u2013249, 1986.","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT'93: Theory and Practice of Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56610-4_65.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:05:00Z","timestamp":1605647100000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56610-4_65"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540566106","9783540475989"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-56610-4_65","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}