The Community for Technology Leaders
Formal Engineering Methods, International Conference on (2000)
York, England
Sept. 4, 2000 to Sept. 7, 2000
ISBN: 0-7695-0822-7
pp: 35
Michihiro Matsumoto , Japan Advanced Institute of Science and Technology
Kokichi Futatsugi , Japan Advanced Institute of Science and Technology
ABSTRACT
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.
INDEX TERMS
CITATION

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.
doi:10.1109/ICFEM.2000.873803
98 ms
(Ver 3.3 (11022016))