{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T14:14:34Z","timestamp":1725718474255},"publisher-location":"Boston, MA","reference-count":26,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781461373834"},{"type":"electronic","value":"9781461552291"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-1-4615-5229-1_8","type":"book-chapter","created":{"date-parts":[[2013,3,11]],"date-time":"2013-03-11T00:07:08Z","timestamp":1362960428000},"page":"105-121","source":"Crossref","is-referenced-by-count":4,"title":["Component-Based Algebraic Specification"],"prefix":"10.1007","author":[{"given":"Shusaku","family":"Iida","sequence":"first","affiliation":[]},{"given":"Kokichi","family":"Futatsugi","sequence":"additional","affiliation":[]},{"given":"R\u0103zvan","family":"Diaconescu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Aoyama, Mikio: New Age of Software Development: How Component-Based Software Engineering Changes the Way of Software Development? In: ICSE\u201998 International Workshop on Component-Based Software Engineering, 1998"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Diaconescu, R\u0103zvan; Futatsugi, Kokichi: AMAST series in Computing. Bd. 6: CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification. World Scientific, 1998","DOI":"10.1142\/3831"},{"key":"8_CR3","unstructured":"Dlaconescu, R\u0103zvan; Futatsugi, Kokichi: Logical Semantics for CafeOBJ. In: ICSE\u201998 Workshop on Precise Semantics for Software Modeling Techniques, 1998.-obsolete version in the technical report of Japan Advanced Institute of Science and Technology (IS-RR-96-0024S)"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Dlaconescu, R\u0103zvan; Futatsugi, Kokichi; Ilda, Shusaku: Component-based Algebraic Specification and Verification in CafeOBJ. In: Proc. of The World Congress on Formal Methods\u2019 99, 1999.-to appear","DOI":"10.1007\/3-540-48118-4_37"},{"key":"8_CR5","unstructured":"Dlaconescu, R\u0103zvan: Behavioural Coherence in Object-Oriented Alge-braic Specification\/Japan Advanced Institute of Science and Technology. 1998 (IS-RR-98-0017F).-Forschungsbericht"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Futatsugi, Kokichi; Goguen, Joseph; Jouannaud, Jean-Pierre; Meseguer, Jos\u00e9: Principles of OBJ2. In: Proceedings of the 12th ACM Symposium on Principles of Programming Languages, ACM, 1985, S. 52\u201366","DOI":"10.1145\/318593.318610"},{"key":"8_CR7","unstructured":"Futatsugi, Kokichi; Nakagawa, Ataru: An Overview of Cafe Specification Environment \u2014 an algebraic approach for creating, verifying and maintaining formal specifications over the NET \u2014. In: First IEEE International Conference on Formal Engineering Methods, IEEE, 1997"},{"key":"8_CR8","unstructured":"Goguen, Joseph; Dlaconescu, R\u0103zvan: Towards an algebraic semantics for the object paradigm. In: Ehrig, Harmut (Hrsg.); Orejas, Fernando (Hrsg.): Recent Trends in Data Type Specification Bd. 785. Bd. 785, Springer, 1994"},{"key":"8_CR9","unstructured":"Gamma, Erich; Helm, Richard; Johnson, Ralph; Vlissides, John: Design Patterns: Elements of Reusable Object-Oriented Design. Addison-Wesley, 1995"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Goguen, Joseph; Meseguer, Jos\u00e9: Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. In: Theoretical Computer Science 105(2) (1992)","DOI":"10.1016\/0304-3975(92)90302-V"},{"key":"8_CR11","unstructured":"Goguen, Joseph; Malcolm, Grant: A hidden agenda\/UCSD Technical Report. 1997 (CS97-538).-Forschungsbericht"},{"key":"8_CR12","unstructured":"[G89]Goguen, Joseph: Memories of ADJ. 36 (1989), S. 96-102.-Guest column in the\u2019 Algebraic Specification Column\u2019. Also in Current Trends in Theoretical Computer Science: Essays and Tutorials World Scientific, 1993, pages 76\u201381"},{"key":"8_CR13","unstructured":"Goguen, Joseph; Winkler, Timothy; Mesegure, Jos\u00e9 Futatsugi, Kokichi; Jouannaud, Jean-Pierre: Introducing OBJ\/SRI International, Computer Science Laboratory. 1993.-Forschungsbericht"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Hennicker, R.: Context Induction: a proof principle for behavioural abstractions. In: Mlola, A. (Hrsg.): Design and Implementation of Symbolic Computation Systems. International Symposium DISCO 1990. Springer-Verlag, 1990 (LNCS 429)","DOI":"10.1007\/3-540-52531-9_129"},{"key":"8_CR15","unstructured":"Iida, Shusaku: An Algebraic Formal Method for Component based Software Developments. 1999.-PhD. thesis"},{"key":"8_CR16","unstructured":"Iso; Itu-T; Odp: Information technology-Open Distributed Prosessing-Trading Function-Parti: Specification, Revised 2nd DIS text. 1997.-Draft ITU-T Rec. X950-1, ISO\/IEC pp13235-1 (E)"},{"key":"8_CR17","unstructured":"Ilda, Shusaku; Matsumoto, Michihiro; Dlaconescu, R\u0103zvan; futatugi, Kokichi; Lucanu, Dorel: Concurrent Object Composition in CafeOBJ\/Japan Advanced Institute of Science and Technology. 1998 (IS-RR-98-0009S).-Forschungsbericht"},{"key":"8_CR18","unstructured":"Javasoft: JavaBeans Documentation.1999.- http:\/\/www.javasoft.com\/beans\/docs\/"},{"key":"8_CR19","unstructured":"Meseguer, Jos\u00e9: Conditional Rewriting Logic as a Unified Model of Concurrency. In: Theoretical Computer Science 96 (1992), S. pp.73\u2013155"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Matsumoto, Michihiro; Futatsugi, Kokichi: Test Set Coinduction-Toward Automated Verification of Behavioural Properties. In: Proc. of Second Workshop on Rewriting Logic and its Applications, Elsevier Science Publishers B.V., 1998","DOI":"10.1016\/S1571-0661(05)80015-5"},{"key":"8_CR21","unstructured":"Micrisift:Com Home.1999. http:\/\/www.microsoft.com\/com\/default.asp"},{"key":"8_CR22","unstructured":"Matsumiya, Chiyo; Ilda Shusaku; Futatsugi, Kokichi: A Component-based Algebraic Specification of ODP Trading Function and the Interactive Browsing Environment. 1999.-submitted for publication"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Ogata, Kazuhiro; Futatsugi, Kokichi: Tram: An Abstract Machine for Order-Sorted Conditional Term Rewriting System. In: Proc. of RTA97, 1997","DOI":"10.1007\/3-540-62950-5_84"},{"key":"8_CR24","unstructured":"OMG:Object Management Group Home Page.1999.- http:\/\/www.omg.org\/"},{"key":"8_CR25","unstructured":"Sortware, Rational [ u. a. ]: UML Notation Guide. September 1997.-version 1.1"},{"key":"8_CR26","unstructured":"Shaw, Mary; Garlan, David: Software Architecture-Perspectives on an Emarging Dicipline-.Prentice Hall, 199"}],"container-title":["Behavioral Specifications of Businesses and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4615-5229-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,10]],"date-time":"2019-07-10T19:01:19Z","timestamp":1562785279000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4615-5229-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9781461373834","9781461552291"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-1-4615-5229-1_8","relation":{},"subject":[],"published":{"date-parts":[[1999]]}}}