Component-Based Software Engineering. Jifeng, H., Li, X., & Liu, Z. In Van Hung, D. & Wirsing, M., editors, Proceedings of the International Colloquium on Theoretical Aspects of Computing (ICTAC), 2005.
Component-Based Software Engineering [link]Paper  doi  abstract   bibtex   
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.
@inproceedings{jifeng_component-based_2005,
	title = {Component-{Based} {Software} {Engineering}},
	isbn = {978-3-540-29107-7},
	url = {http://link.springer.com/chapter/10.1007/11560647_5},
	doi = {10.1007/11560647_5},
	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.},
	booktitle = {Proceedings of the {International} {Colloquium} on {Theoretical} {Aspects} of {Computing} ({ICTAC})},
	author = {Jifeng, He and Li, Xiaoshan and Liu, Zhiming},
	editor = {Van Hung, Dang and Wirsing, Martin},
	year = {2005},
	keywords = {components, composition, con-, contracts, functionality, interfaces, protocols, refinement, simulation, sistency}
}

Downloads: 0