Abstract. Motivated by the wide acceptance of component based technologies in software development, a component concept for software engineering is applied to modeling in the field...
Product Data Management (PDM) and Software Configuration Management (SCM) are the disciplines of building and controlling the evolution of a complex artifacts; either physical or ...
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
: In the development of software systems, quality properties should be considered along with the development process so that the qualities of software systems can be inferred and p...
In component-based software development, it is necessary to measure the reusability of components in order to realize the reuse of components effectively. There are some product m...