{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:30:53Z","timestamp":1761597053282},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665885"},{"type":"electronic","value":"9783540481188"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"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":[[1999]]},"DOI":"10.1007\/3-540-48118-4_38","type":"book-chapter","created":{"date-parts":[[2007,11,14]],"date-time":"2007-11-14T01:30:57Z","timestamp":1195003857000},"page":"1664-1683","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Using algebraic specification techniques in development of object-oriented frameworks"],"prefix":"10.1007","author":[{"given":"Shin","family":"Nakajima","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,9,17]]},"reference":[{"key":"38_CR1","unstructured":"ITU-T Rec. X.950-1: Information Technology-Open Distributed Processing-Trading Function-Part 1: Specification (1997)."},{"key":"38_CR2","unstructured":"OMG: OMG CORBA ( http:\/\/www.omg.org\/ )."},{"key":"38_CR3","unstructured":"OMG: CORBAservices, Trading Object Service Specification (1997)."},{"key":"38_CR4","unstructured":"Sun Microsystems: JavaCC Documentation ( http:\/\/www.suntest.com\/JavaCC\/ )."},{"key":"38_CR5","unstructured":"Arnold, K. and Gosling, J.: The Java\u2122 Programming Language, Addison-Wesley 1996."},{"key":"38_CR6","unstructured":"Beck, K. and Cunningham, W.: A Laboratory for Teaching Object-Oriented Thinking, Proc. OOPSLA\u201989, pp.1\u20136 (1989)."},{"key":"38_CR7","unstructured":"Bj\u2205rner, D., Koussoube, S., Noussi, R., and Satchok, G.: Michael Jackson\u2019s Problem Frames: Towards Methodological Principles of Selecting and Applying Formal Software Development Techniques and Tools, Proc. 1st IEEE ICFEM (1997)."},{"key":"38_CR8","unstructured":"Carroll, J.M. (ed.): Scenario-Based Design, John Wiley & Sons 1995."},{"key":"38_CR9","doi-asserted-by":"crossref","unstructured":"Clarke, E.M. and Wing, J.M.: Formal Methods: State of the Art and Future Directions, ACM Computing Surveys (1996).","DOI":"10.1145\/242223.242257"},{"key":"38_CR10","doi-asserted-by":"crossref","unstructured":"Deutsch, L.P.: Design Reuse and Frameworks in the Smalltalk-80 Programming System, in Software Reusability vol.2 (Biggerstaff and Perlis, ed.), pp.55\u201371, ACM Press 1989.","DOI":"10.1145\/75722.75725"},{"key":"38_CR11","doi-asserted-by":"crossref","unstructured":"Diaconescu, R. and Futatsugi, K.: The CafeOBJ Report, World Scientific 1998.","DOI":"10.1142\/3831"},{"key":"38_CR12","unstructured":"Futatsugi, K., Goguen, J., Jouannaud, J-P., and Meseguer, J.: Principles of OBJ2, Proc. 12th POPL, pp.52\u201366 (1985)."},{"key":"38_CR13","unstructured":"Futatsugi, K. and Nakagawa, A.T.: An Overview of CAFE Specification Environment, Proc. 1st IEEE ICFEM (1997)."},{"key":"38_CR14","unstructured":"Gamma, E., Helm, R., Johnson, R. and Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software, Addison-Wesley 1994."},{"key":"38_CR15","doi-asserted-by":"crossref","unstructured":"Goguen, J. and Malcolm, G.: Algebraic Semantics of Imperative Programs, The MIT Press 1996.","DOI":"10.7551\/mitpress\/1188.001.0001"},{"key":"38_CR16","unstructured":"Goguen, J. and Malcolm, G.: A Hidden Agenda, UCSD CS97-538 (1997)."},{"key":"38_CR17","unstructured":"Jackson, M.: Software Requirements & Specifications, Addison-Wesley 1995."},{"key":"38_CR18","unstructured":"Johnson, R.: Documenting Frameworks using Patterns, Proc. OOPSLA\u201992, pp.63\u201376 (1992)."},{"key":"38_CR19","unstructured":"Lewis, G., Barber, S., and Siegel, E.: Programming with Java IDL, John Wiley & Sons 1998."},{"key":"38_CR20","doi-asserted-by":"crossref","unstructured":"Meseguer, J.: A Logical Theory of Concurrent Objects and its Realization in the Maude Language, in Research Directions in Concurrent Object-Oriented Programming (Agha, Wegner and Yonezawa ed.), pp.314\u2013390, The MIT Press 1993.","DOI":"10.7551\/mitpress\/2087.003.0017"},{"key":"38_CR21","doi-asserted-by":"crossref","unstructured":"Milner, R., Tofte, M., Harper, R., and MacQueen, D.: The De nition of Standard ML (revised), The MIT Press 1997.","DOI":"10.7551\/mitpress\/2319.001.0001"},{"key":"38_CR22","unstructured":"Nakajima, S. and Futatsugi, K.: An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ, Proc. 19th ICSE, pp.34\u201344 (1997)."},{"key":"38_CR23","first-page":"1861","volume":"40","author":"S. Nakajima","year":"1999","unstructured":"Nakajima, S. and Futatsugi, K.: An Algebraic Approach to Specification and Analysis of the ODP Trader, Trans. IPS Japan Vol.40 No.4, pp.1861\u20131873(1999).","journal-title":"An Algebraic Approach to Specification and Analysis of the ODP Trader"},{"key":"38_CR24","doi-asserted-by":"crossref","unstructured":"Raymond, K.: Reference Model of Open Distributed Processing (RM-ODP): introduction, Proc. ICODP\u201995 (1995)","DOI":"10.1007\/978-0-387-34882-7_1"},{"key":"38_CR25","unstructured":"Wang, D.C., Appel, A.W., and Korn, J.L.: The Zephyr Abstract Syntax Description Language, Proc. USENIX DSL, pp.213\u2013227 (1997)."},{"key":"38_CR26","doi-asserted-by":"crossref","unstructured":"Wing, J. and Zaremski, A.M.: Unintrusive Ways to Integrate Formal Specifications in Practice, CMU-CS-91-113 (1991).","DOI":"10.1007\/3-540-54834-3_32"},{"key":"38_CR27","doi-asserted-by":"crossref","unstructured":"Wirsing, M. and Knapp, A.: A Formal Approach to Object-Oriented Software Engineering, Proc. 1st Workshop on Rewriting Logic and its Applications (1996).","DOI":"10.1016\/S1571-0661(04)00046-5"}],"container-title":["Lecture Notes in Computer Science","FM\u201999 \u2014 Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48118-4_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,19]],"date-time":"2024-02-19T01:26:35Z","timestamp":1708305995000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48118-4_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665885","9783540481188"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-48118-4_38","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"17 September 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}