Jong Pyo Jang, Sang Jun Lee, Byung Ki Kim

The KIPS Transactions:PartD, Vol. 8, No. 1, pp. 99-104, Feb. 2001
10.3745/KIPSTD.2001.8.1.99,   PDF Download:

Abstract

As a plan to counteract solving software crisis, the technology that is called Component Based Software Engineering (CBSE or Componentware) is introduced. Component Based Software Development (CBSD) Processes as one of the techniques among CBSE have been proposed. Component specification activities among CBSD Processes are necessary and important for generating reusable components. However, the existing CBSD Processes can't ensure the correctness in specifications because component specifications are written in natural language and don't provide a method which verifies that user requirements are reflected. In this paper, we propose that formal activities which specify component using formal specification language Z which is verified with the ability of analysis and logicality. The proposed activities are composed of 5 tasks and 12 subtasks. By presenting specific 10 products, it is also proposed that component specification activities which are the base of CBSD for reusing. The proposed activities are able to improve qualities of component through correctness and verification of requirements specification of users in the early step of component-based software process.

Statistics
Cite this article