@inproceedings{6184edf53dce48ea91819d7d8d5409bd,
title = "Component-based software engineering* the need to linie methods and their theories",
abstract = "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.",
keywords = "Components, Composition, Consistency, Contracts, Functionality, Interfaces, Protocols, Refinement, Simulation",
author = "Jifeng He and Xiaoshan Li and Zhiming Liu",
year = "2005",
language = "英语",
isbn = "3540291075",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "70--95",
booktitle = "Theoretical Aspects of Computing - ICTAC 2005 - Second International Colloquium, Proceedings",
address = "德国",
note = "2nd International Colloquium on Theoretical Aspects of Computing - ICTAC 2005 ; Conference date: 17-10-2005 Through 21-10-2005",
}