{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:07:43Z","timestamp":1725494863554},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665885"},{"type":"electronic","value":"9783540481188"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48118-4_37","type":"book-chapter","created":{"date-parts":[[2007,11,14]],"date-time":"2007-11-14T01:30:57Z","timestamp":1195003857000},"page":"1644-1663","source":"Crossref","is-referenced-by-count":17,"title":["Component-based algebraic specification and verification in cafeOBJ"],"prefix":"10.1007","author":[{"given":"R.\u0103zvan","family":"Diaconescu","sequence":"first","affiliation":[]},{"given":"Kokichi","family":"Futatsugi","sequence":"additional","affiliation":[]},{"given":"Shusaku","family":"Iida","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,9,17]]},"reference":[{"key":"37_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/3-540-10007-5_41","volume-title":"Proceedings, 1979 Copenhagen Winter School on Abstract Software Specification","author":"R. Burstall","year":"1980","unstructured":"Rod Burstall and Joseph Goguen. The semantics of Clear, a specification language. In Dines Bjorner, editor, Proceedings, 1979 Copenhagen Winter School on Abstract Software Specification, pages 292\u2013332. Springer, 1980. Lecture Notes in Computer Science, Volume 86."},{"key":"37_CR2","doi-asserted-by":"crossref","unstructured":"Manuel Clavel, Steve Eker, Patrick Lincoln, and Jose Meseguer. Principles of Maude. Electronic Notes in Theoretical Computer Science, 4, 1996. Proceedings, First International Workshop on Rewriting Logic and its Applications. Asilomar, California, September 1996.","DOI":"10.1016\/S1571-0661(04)00034-9"},{"key":"37_CR3","unstructured":"R\u0103zvan Diaconescu. Category-based semantics for equational and constraint logic programming, 1994. DPhil thesis, University of Oxford."},{"key":"37_CR4","unstructured":"R\u0103zvan Diaconescu. Behavioural coherence in object-oriented algebraic specification. Technical Report IS-RR-98-0017F, Japan Advanced Institute for Science and Technology, June 1998. Submitted to publication."},{"issue":"4","key":"37_CR5","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1023\/A:1008607717635","volume":"6","author":"R. Diaconescu","year":"1998","unstructured":"R\u0103zvan Diaconescu. Extra theory morphisms for institutions: logical semantics for multiparadigm languages. J. of Applied Categorical Structures, 6(4):427\u2013453, 1998.","journal-title":"J. of Applied Categorical Structures"},{"key":"37_CR6","unstructured":"R\u0103zvan Diaconescu and Kokichi Futatsugi. Logical foundations of CafeOBJ. 1998. Submitted to publication."},{"key":"37_CR7","doi-asserted-by":"crossref","unstructured":"R\u0103zvan Diaconescu and Kokichi Futatsugi. CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification, volume 6 of AMAST Series in Computing. World Scientific, 1998.","DOI":"10.1142\/3831"},{"key":"37_CR8","unstructured":"R\u0103zvan Diaconescu, Kokichi Futatsugi, and Shusaku Iida. Component-based algebraic specifications:-behavioural specification for component based software engineering-. In Behavioural Semantics of Object-oriented Business and System Specification. Kluwer, 1999."},{"key":"37_CR9","unstructured":"R\u0103zvan Diaconescu, Joseph Goguen, and Petros Stefaneas. Logical support for modularisation. In Gerard Huet and Gordon Plotkin, editors, Logical Environments, pages 83\u2013130. Cambridge, 1993. Proceedings of a Workshop held in Edinburgh, Scotland, May 1991."},{"key":"37_CR10","doi-asserted-by":"crossref","unstructured":"Kokichi Futatsugi, Joseph Goguen, Jean-Pierre Jouannaud, and Jose Meseguer. Principles of OBJ2. In Proceedings of the 12th ACM Symposium on Principles of Programming Languages, pages 52\u201366. ACM, 1985.","DOI":"10.1145\/318593.318610"},{"issue":"1","key":"37_CR11","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. Goguen","year":"1992","unstructured":"Joseph Goguen and Rod Burstall. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery, 39(1):95\u2013146, January 1992.","journal-title":"Journal of the Association for Computing Machinery"},{"issue":"4","key":"37_CR12","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1017\/S0960129500000517","volume":"4","author":"J. Goguen","year":"1994","unstructured":"Joseph Goguen and R\u0103zvan Diaconescu. An Oxford survey of order sorted algebra. Mathematical Structures in Computer Science, 4(4):363\u2013392, 1994.","journal-title":"Mathematical Structures in Computer Science"},{"key":"37_CR13","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Recent Trends in Data Type Specification","author":"J. Goguen","year":"1994","unstructured":"Joseph Goguen and R.\u0103zvan Diaconescu. Towards an algebraic semantics for the object paradigm. In Harmut Ehrig and Fernando Orejas, editors, Recent Trends in Data Type Specification, volume 785 of Lecture Notes in Computer Science, pages 1\u201334. Springer, 1994."},{"key":"37_CR14","unstructured":"Joseph Goguen and Grant Malcolm. A hidden agenda. Technical Report CS97-538, University of California at San Diego, 1997."},{"key":"37_CR15","unstructured":"Joseph Goguen and Jos\u00e9 Meseguer. Eqlog: Equality, types, and generic modules for logic programming. In Douglas DeGroot and Gary Lindstrom, editors, Logic Programming: Functions, Relations and Equations, pages 295\u2013363. Prentice-Hall, 1986."},{"key":"37_CR16","doi-asserted-by":"crossref","unstructured":"Joseph Goguen and Jos\u00e9 Meseguer. Unifying functional, object-oriented and relational programming, with logical semantics. In Bruce Shriver and Peter Wegner, editors, Research Directions in Object-Oriented Programming, pages 417\u2013477. MIT, 1987.","DOI":"10.1145\/323779.323755"},{"issue":"2","key":"37_CR17","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90302-V","volume":"105","author":"J. Goguen","year":"1992","unstructured":"Joseph Goguen and Jos\u00e9e Meseguer. Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Computer Science, 105(2):217\u2013273, 1992.","journal-title":"Theoretical Computer Science"},{"key":"37_CR18","doi-asserted-by":"crossref","unstructured":"Joseph Goguen, Timothy Winkler, Jos\u00e9e Meseguer, Kokichi Futatsugi, and Jean-Pierre Jouannaud. Introducing OBJ. In Joseph Goguen, editor, Algebraic Specification with OBJ: An Introduction with Case Studies. Cambridge. To appear.","DOI":"10.1007\/978-1-4757-6541-0_1"},{"key":"37_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/3-540-49253-4_20","volume-title":"Algebraic Methodology and Software Technology","author":"R. Hennicker","year":"1999","unstructured":"Rolf Hennicker and Michel Bidoit. Observational logic. In A. M. Haeberer, editor, Algebraic Methodology and Software Technology, number 1584 in LNCS, pages 263\u2013277. Springer, 1999. Proc. AMAST\u201999."},{"issue":"1","key":"37_CR20","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Jos\u00e9e Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, 96(1):73\u2013155, 1992.","journal-title":"Theoretical Computer Science"},{"key":"37_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-64299-4_26","volume-title":"Proc. WADT\u201997","author":"J. Meseguer","year":"1998","unstructured":"Jos\u00e9e Meseguer. Membership algebra as a logical framework for equational specification. In F. Parisi-Pressice, editor, Proc. WADT\u201997, number 1376 in Lecture Notes in Computer Science, pages 18\u201361. Springer, 1998."}],"container-title":["Lecture Notes in Computer Science","FM\u201999 \u2014 Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48118-4_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T18:25:41Z","timestamp":1684088741000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48118-4_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665885","9783540481188"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-48118-4_37","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}