TAILIEUCHUNG - Báo cáo " Checking the conformability in CORBA component model specifications "

We proposed in this paper an approach for checking the conformability in CORBA component model specifications. In software engineering, it is demonstrated that discovering bugs in earlier phases is much more economical than later phases. We focused thus on verifying components by their ports specification. In order to do this, firstly we determined constraints on kinds of port as well as on types of port which the connection between ports must satisfy, and then formalized them to be able to prove automatically using formal prover tools. Here, we proposed to use the B method for verifying components in a. | VNU Journal of Science Natural Sciences and Technology 24 2008 92-102 Checking the conformability in CORBA component model specifications Tran Thi Mai Thuong Vo Van Thanh Truong Ninh Thuan College of Technology VNU 144 Xuan Thuy Road Cau Giay District Hanoi Vietnam Received 31 October 2007 Abstract. We proposed in this paper an approach for checking the conformability in CORBA component model specifications. In software engineering it is demonstrated that discovering bugs in earlier phases is much more economical than later phases. We focused thus on verifying components by their ports specification. In order to do this firstly we determined constraints on kinds of port as well as on types of port which the connection between ports must satisfy and then formalized them to be able to prove automatically using formal prover tools. Here we proposed to use the B method for verifying components in a CCM specification. 1. Introduction The enormous expansion in the use of software in every field of life make demands on installing and developing reusable robust reliable flexible adaptive software systems much accelerating. As these demands are growing stronger the complexity of processes that software manages is increasing along with the demand for the integration of processes from different areas. As a consequence software programs are becoming increasingly large and complex. The appearance of component based software engineering CBSE adapts this challenge of the software development it proposes an easy and efficient method for developing large software. In this approach the architecture of a system is described as a collection of Corresponding author. E-mail thuongttm@ components reusable parts along with the interactions among those via their ports. The main feature of CBSE is to allow the construction of an application using independently developed software components leading to reduce development costs and improved software quality. In this process it is .

• Báo cáo khoa học
• CORBA component model
• natural sciences
• science and technology
• scientific reports
• research projects
• scientific research
• Checking the conformability in CORBA
• CORBA component model specifications
• Software engineering
• Verifying components in a CCM specification
• Prove automatically
• Research methods
• Data collection methods
• Understanding scientific research
• Ensuring research validity
• Measurement techniques
• Sampling methods
• Scientific research capacity
• Educational institutions
• Policy and management studies
• Vietnam Academy for Ethnic minorities
• Scientific bases
• earth sciences
• Research
• VNU Journal of Science
• Action research
• linguistics
• Foreign Languages
• cooperative research
• Renewable energy
• Introduction to research
• Scientific investigation
• Scientific investigation research
• Experimental designs
• Measurement of variables
• Reading research
• Conducting and reading research
• Research process
• Research report
• Purpose of research
• Scientific method
• Conducting research
• The effect of university autonomy on training and scientific research
• Vietnam national university of agriculture
• Training and scientific research
• Vascular plant
• Flora
• Yen Tu
• Quang Ninh Research Forest
• statements and documents scientific reports
• medical reports
• medical knowledge
• medical research
• clinical trials
• medical management
• health care
• Methods in behavioral research
• Behavioral research
• Scientific understanding
• Fundamental research issues
• Measurement concepts
• Observational methods
• reading comprehension
• education
• optimal picket
• model creation
• urban expansion
• organizing spatial
• Journal of Science
• Journal of Technology
• Technology Management
• Research quality
• Strategy and policy
• Summary of Doctoral thesis
• Summary of Doctoral thesis in public Management
• State management
• Female scientific research human
• Research human resource development
• Scientific research and teaching
• Defense and security education
• Current situation and solutions
• Security education
• Structural biochemistry
• epigenetics
• MicroRNAs
• Tạp chí khoa học
• Tạp chí Công nghệ
• Quản lý công nghệ
• Human resources
• Science management
• Poliomyelitis vaccine Research
• Non Ri Maprec
• Production center