{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T07:03:17Z","timestamp":1742972597254,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540408284"},{"type":"electronic","value":"9783540452362"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45236-2_2","type":"book-chapter","created":{"date-parts":[[2010,6,25]],"date-time":"2010-06-25T20:08:38Z","timestamp":1277496518000},"page":"7-17","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Past, Present, and Future of SRA Implementation of CafeOBJ"],"prefix":"10.1007","author":[{"given":"Toshimi","family":"Sawada","sequence":"first","affiliation":[]},{"given":"Kouichi","family":"Kishida","sequence":"additional","affiliation":[]},{"given":"Kokichi","family":"Futatsugi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,9,25]]},"reference":[{"key":"2_CR1","series-title":"AMAST Series in Computing","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1142\/3831","volume-title":"CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object?Oriented Algebraic Specification","author":"R. Diaconescu","year":"1998","unstructured":"Diaconescu, R., Futatsugi, K.: CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object?Oriented Algebraic Specification. AMAST Series in Computing, vol.\u00a06, p. 174. World Scientific, Singapore (1998)"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/S0304-3975(01)00361-9","volume":"285","author":"R. Diaconescu","year":"2002","unstructured":"Diaconescu, R., Futatsugi, K.: Logical Foundations of CafeOBJ. Theoretical Computer Science\u00a0285, 289\u2013318 (2002)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"2_CR3","first-page":"74","volume":"6","author":"R. Diaconescu","year":"2000","unstructured":"Diaconescu, R., Futatsugi, K.: Behavioural Coherence in Object- Oriented Algebraic Specification. Journal of Universal Computer Science\u00a06(1), 74\u201396 (2000)","journal-title":"Journal of Universal Computer Science"},{"doi-asserted-by":"crossref","unstructured":"Diaconescu, R., Futatsugi, K., Iida, S.: Component-based Algebraic Specification and Verification in CafeOBJ. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol.\u00a01708, pp. 1644\u20131663. Springer, Heidelberg (1999)","key":"2_CR4","DOI":"10.1007\/3-540-48118-4_37"},{"unstructured":"Futatsugi, K.: Hierarchical Software Development in HISP. In: Kitagawa, T. (ed.) Computer Science and Technologies 1982. Japan Annual Review in Electronics, Computers and Telecommunications Series, pp. 151\u2013174. OHMSHA\/North-Holland (1982)","key":"2_CR5"},{"key":"2_CR6","first-page":"139","volume-title":"Proc. of Franco-Japanese Symp. on Programming of Future Generation Computers, published as Programming of Future Generation Computers","author":"K. Futatsugi","year":"1988","unstructured":"Futatsugi, K.: An Overview of OBJ2. In: Fuchi, K., Nivat, M. (eds.) Proc. of Franco-Japanese Symp. on Programming of Future Generation Computers, published as Programming of Future Generation Computers, Tokyo, October 1986, pp. 139\u2013160. North-Holland, Amsterdam (1988)"},{"unstructured":"Futatsugi, K.: Trends in Formal Specification Methods based on Algebraic Specification Techniques \u2013 from Abstract Data Types to Software Processes: A Personal Perspective \u2013. In: Proceedings of the International Conference of Information Technology to Commemorating the 30th Anniversary of the Information Processing Society of Japan (InfoJapan 1990), October 1990, pp. 59\u201366 (1990)","key":"2_CR7"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45788-7_1","volume-title":"Functional and Logic Programming","author":"K. Futatsugi","year":"2002","unstructured":"Futatsugi, K.: Formal Methods in CafeOBJ. In: Hu, Z., Rodr\u00edguez-Artalejo, M. (eds.) FLOPS 2002. LNCS, vol.\u00a02441, pp. 1\u201320. Springer, Heidelberg (2002)"},{"unstructured":"Futatsugi, K., Okada, K.: Specification Writing as Construction of hierarchically Structured Clusters of Operators. In: Proc. of IFIP Congress 1980, Tokyo, October 1980, pp. 287\u2013292 (1980)","key":"2_CR9"},{"unstructured":"Futatsugi, K., Okada, K.: A Hierarchical Structuring Method for Functional Software Systems. In: Proc. of the 6th ICSE, pp. 393\u2013402 (1982)","key":"2_CR10"},{"key":"2_CR11","first-page":"170","volume-title":"Proc. Pst Intl. Conf. on Formal Engineering Methods","author":"K. Futatsugi","year":"1997","unstructured":"Futatsugi, K., Nakagawa, A.: An Overview of CAFE Specification Environment \u2013 an algebraic approach for creating,verifying, and maintaining formal specifications over networks. In: Proc. Pst Intl. Conf. on Formal Engineering Methods, pp. 170\u2013181. IEEE, Los Alamitos (1997)"},{"unstructured":"Futatsugi, K., Goguen, J., Meseguer, J. (eds.): OBJ\/CafeOBJ\/Maude at Formal Methods 1999, The Theta Foundation, Bucharest, Romania, 241 pages (1999) ISBN 973-99097-1-X","key":"2_CR12"},{"key":"2_CR13","first-page":"194","volume-title":"CAFE: An Industiral-Strength Algebraic Formal Method","year":"2000","unstructured":"Futatsugi, K., Nakagawa, A., Tamai, T. (eds.): CAFE: An Industiral-Strength Algebraic Formal Method, xiv+194 pages. Elsevier, Amsterdam (2000)"},{"key":"2_CR14","first-page":"52","volume-title":"Proceedings of the 12th ACM Symposium on Principles of Programming Languages","author":"K. Futatsugi","year":"1985","unstructured":"Futatsugi, K., Goguen, J.A., Jouannaud, J.-P., Meseguer, J.: Principles of OBJ2. In: Proceedings of the 12th ACM Symposium on Principles of Programming Languages, pp. 52\u201366. ACM, New York (1985)"},{"key":"2_CR15","first-page":"51","volume-title":"Proc. of the 9th ICSE","author":"K. Futatsugi","year":"1987","unstructured":"Futatsugi, K., Goguen, J.A., Meseguer, J., Okada, K.: Parameterized Programming in OBJ2. In: Proc. of the 9th ICSE, pp. 51\u201360. IEEE, Los Alamitos (1987)"},{"issue":"2","key":"2_CR16","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90302-V","volume":"105","author":"J.A. Goguen","year":"1992","unstructured":"Goguen, J.A., Meseguer, J.: Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations. Theoretical Computer Science\u00a0105(2), 217\u2013273 (1992)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"2_CR17","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/S0304-3975(99)00275-3","volume":"245","author":"J. Goguen","year":"2000","unstructured":"Goguen, J., Malcolm, G.: A hidden agenda. Theoretical Computer Science\u00a0245(1), 55\u2013101 (2000)","journal-title":"Theoretical Computer Science"},{"key":"2_CR18","first-page":"123","volume-title":"Proceedings, Automated Software Enginnering 2000","author":"J.A. Goguen","year":"2000","unstructured":"Goguen, J.A., Lin, K., Rosu, G.: Circular Coinductive Rewriting. In: Proceedings, Automated Software Enginnering 2000, pp. 123\u2013131. IEEE, Los Alamitos (2000)"},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-1-4757-6541-0_1","volume-title":"Software Engineering with OBJ","author":"J. Goguen","year":"2000","unstructured":"Goguen, J., Winkler, T., Meseguer, J., Futatsugi, K., Jouannaud, J.P.: Introducing OBJ. In: Goguen, J., Malcolm, G. (eds.) Software Engineering with OBJ, pp. 3\u2013167. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"2_CR20","first-page":"35","volume-title":"Proceedings of ICFEM 2000","author":"M. Matsumoto","year":"2000","unstructured":"Matsumoto, M., Futatsugi, K.: Highly Reliable Component-Based Software Development by using Algebraic Behavioral Specification. In: Proceedings of ICFEM 2000, pp. 35\u201343. IEEE CS Press, Los Alamitos (2000)"},{"unstructured":"McCune, W.: Otter 3.0 Reference Manual and Guide, \n\nhttp:\/\/www-unix.mcs.anl.gov\/AR\/otter\/","key":"2_CR21"},{"key":"2_CR22","first-page":"101","volume-title":"ECOOP-OOPSLA 1990 Conference on Object-Oriented Programming","author":"J. Meseguer","year":"1990","unstructured":"Meseguer, J.: A logical theory of cuncurrent objects. In: ECOOP-OOPSLA 1990 Conference on Object-Oriented Programming, pp. 101\u2013115. ACM, New York (1990)"},{"key":"2_CR23","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of cuncurrency. Theoretical Computer Science\u00a096, 73\u2013155 (1992)","journal-title":"Theoretical Computer Science"},{"key":"2_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1625","DOI":"10.1007\/3-540-48118-4_36","volume-title":"FM\u201999 - Formal Methods","author":"A. Mori","year":"1999","unstructured":"Mori, A., Futatsugi, K.: Verifying Behavioural Specifications in CafeOBJ Environment. In: Woodcock, J.C.P., Davies, J., Wing, J.M. (eds.) FM 1999. LNCS, vol.\u00a01709, pp. 1625\u20131643. Springer, Heidelberg (1999)"},{"doi-asserted-by":"crossref","unstructured":"Mori, A., Futatsugi, K.: CafeOBJ as a tool for behavioral system specification. In: Proc. of Symposium on Software Security 2002. LNCS. Springer, Heidelberg (2002)","key":"2_CR25","DOI":"10.1007\/3-540-36532-X_26"},{"unstructured":"Mori, A., Sawada, T., Futatsugi, K., Seo, A., Ishiguro, M.: Software Component Search based on Behavioral Specification. In: Proc. of International Symposium on Future Software Technology, ISFST 2001 (November 2001)","key":"2_CR26"},{"doi-asserted-by":"crossref","unstructured":"Ogata, K., Futatsugi, K.: Flaw and modification of the iKP electronic payment protocols. Information Processing Letters (2002)","key":"2_CR27","DOI":"10.1016\/S0020-0190(02)00480-5"},{"doi-asserted-by":"crossref","unstructured":"Ogata, K., Futatsugi, K.: Formal analysis of the iKP electric payment protocols. In: Proc. of Symposium on Software Security 2002. LNCS. Springer, Heidelberg (2002)","key":"2_CR28","DOI":"10.1007\/3-540-36532-X_25"},{"key":"2_CR29","series-title":"Rewriting Techniques","first-page":"297","volume-title":"Resolution of Equations in Algebraic Structures","author":"G. Smolka","year":"1989","unstructured":"Smolka, G., Nutt, W., Goguen, J., Meseguer, J.: Order-Sorted Equational Computation. In: A\u00eft-Kaci, H., Nivat, M. (eds.) Resolution of Equations in Algebraic Structures. Rewriting Techniques, vol.\u00a02, pp. 297\u2013368. Academic Press, Inc., London (1989)"},{"unstructured":"Srinivas, Y.V., J\u00fclling, R.: SPECWARE: Formal Support for Composing Software. Tech. Reprot KES.U.94.5, Kestrel Institute (1994)","key":"2_CR30"}],"container-title":["Lecture Notes in Computer Science","FME 2003: Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45236-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,23]],"date-time":"2020-01-23T13:08:05Z","timestamp":1579784885000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45236-2_2"}},"subtitle":["Annex"],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540408284","9783540452362"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45236-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"25 September 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}