{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T18:13:59Z","timestamp":1761934439469,"version":"build-2065373602"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cmpsac.2004.1342801","type":"proceedings-article","created":{"date-parts":[[2004,11,8]],"date-time":"2004-11-08T16:28:24Z","timestamp":1099931304000},"page":"23-28","source":"Crossref","is-referenced-by-count":6,"title":["Formal support for development of Javabeans component systems"],"prefix":"10.1109","author":[{"given":"B.P.","family":"Upadhyaya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Zhiming Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"article-title":"The Java™ Language Specification","year":"2000","author":"gosling","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/256428.167053"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/27651.27653"},{"article-title":"Unifying Theories of Programming","year":"1998","author":"hoare","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45070-2_4"},{"key":"ref15","article-title":"Component calculus","author":"jifeng","year":"2003","journal-title":"Technical Report 285 UNU\/IIST"},{"article-title":"Towards a formal framework for JavaBeansTM and enterprise JavaBeansTM","year":"2004","author":"lee","key":"ref16"},{"article-title":"Linking UML models of design and requirement","year":"2004","author":"liu","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-8141-3_28"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2003.1213512"},{"year":"2004","key":"ref4","article-title":"Enterprise JavaBeansTM specification - version 2.1 Sun Microsystems"},{"year":"2004","key":"ref3","article-title":"JavaBeans™ - version 1.01"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1109\/ICSE.2003.1201199","article-title":"Scaling stepwise refinement","author":"batory","year":"2003","journal-title":"Proc 25th Int'l Conf Software Eng"},{"key":"ref5","first-page":"51","article-title":"Event based sequential program development: Application to constructing a pointer program","author":"abrial","year":"2003","journal-title":"Proc of FM'03"},{"article-title":"Component Based Development","year":"2000","author":"brown","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45070-2_20"},{"year":"2004","key":"ref2","article-title":"Javaserver pages technology"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/320384.320397"},{"year":"2004","key":"ref1","article-title":"Elegant microweb"},{"key":"ref20","first-page":"163","article-title":"Behavioral analysis of the enterprise JavaBeansTMcomponent architecture","author":"nakajima","year":"2001","journal-title":"LNCS number 2057"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2000.899187"},{"article-title":"A java beans component architecture for cryptographic protocols","year":"2004","author":"nikander","key":"ref21"},{"key":"ref24","article-title":"Bean markup language: A composition language for javabeans components","author":"weerawarana","year":"2001","journal-title":"Proceedings of the 6th Usenix Conference on Object Oriented technology and Systems (COOTS)"},{"article-title":"Component Software-Beyond Ojbect-Oriented Programming","year":"1998","author":"szyperski","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-47993-7_20"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/362575.362577"}],"event":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","location":"Hong Kong"},"container-title":["Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9304\/29570\/01342801.pdf?arnumber=1342801","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T22:29:55Z","timestamp":1585952995000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1342801\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/cmpsac.2004.1342801","relation":{},"subject":[]}}