Y. Shinkawa (Japan)
Software Engineering, Component Bases Software Development, Formal Methods
In Component Based Software Development (CBSD), we compose a software system which satisfy given require ments, using available components. When applying CBSD to large-scale applications, we often are faced with the dif ficulties that granularity and functional boundaries are dif ferent between requirements and components. This differ ences make component selection and software system com position difficult. The paper presents a formal approach to relieving the above difficulties in order to compose compo nent based systems effectively. Firstly it reveals the proper ties of component based systems. Secondly it shows a sys tematic way to compose adaptable component based sys tems. Lastly several practical issues are discussed.
Important Links:
Go Back
