Formal Engineering Methods, International Conference on (2000)
Sept. 4, 2000 to Sept. 7, 2000
Michihiro Matsumoto , Japan Advanced Institute of Science and Technology
Kokichi Futatsugi , Japan Advanced Institute of Science and Technology
Component-based software development in which software is developed by combining components and connectors has gained in popularity, because it can increase software productivity. To increase software productivity, components must be reused. However, to do so, we must select software architecture. We propose (1) new software architecture tree architecture. A special class of algebraic behavioral specification projection-style behavioral specification represents it. Recently, even component-based enterprise systems have developed. So, the importance of the technologies how to develop highly reliable component-based software has increased. We propose these technologies by using projection-style behavioral specification. One is (2) the technology that assures high reliability of connectors. Another is (3) the technology that assures consistency of software family evolution. The advantages of these technologies are that these can be automated.
K. Futatsugi and M. Matsumoto, "Highly Reliable Component-Based Software Development by Using Algebraic Behavioral Specification," Formal Engineering Methods, International Conference on(ICFEM), York, England, 2000, pp. 35.