He, Jifeng; Li, Xiaoshan; Liu, Zhiming Component-based software engineering. (English) Zbl 1169.68366 Dang Van Hung (ed.) et al., Theoretical aspects of computing – ICTAC 2005. Second international colloquium, Hanoi, Vietnam, October 17–21, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29107-5/pbk). Lecture Notes in Computer Science 3722, 70-95 (2005). Summary: We discuss some of the difficulties and significant issues that we need to consider when developing a formal method for component-based software engineering. We argue that to deal with the challenges, there is a need in research to link existing theories and methods of programming for effective support to component-based software engineering. We then present our initiative on a unified multi-view approach to modelling, design and analysis of component systems, emphasising the integration of models for different views.For the entire collection see [Zbl 1089.68005]. Cited in 3 Documents MSC: 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) Keywords:Components; Interfaces; Contracts; Protocols; Functionality; Consistency; Composition; Refinement; Simulation PDF BibTeX XML Cite \textit{J. He} et al., Lect. Notes Comput. Sci. 3722, 70--95 (2005; Zbl 1169.68366) Full Text: DOI