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.
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
{"_id":"KoqCDHPQybq4SJnSx","bibbaseid":"jifeng-li-liu-componentbasedsoftwareengineering-2005","authorIDs":[],"author_short":["Jifeng, H.","Li, X.","Liu, Z."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","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":[{"propositions":[],"lastnames":["Jifeng"],"firstnames":["He"],"suffixes":[]},{"propositions":[],"lastnames":["Li"],"firstnames":["Xiaoshan"],"suffixes":[]},{"propositions":[],"lastnames":["Liu"],"firstnames":["Zhiming"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Van","Hung"],"firstnames":["Dang"],"suffixes":[]},{"propositions":[],"lastnames":["Wirsing"],"firstnames":["Martin"],"suffixes":[]}],"year":"2005","keywords":"components, composition, con-, contracts, functionality, interfaces, protocols, refinement, simulation, sistency","bibtex":"@inproceedings{jifeng_component-based_2005,\n\ttitle = {Component-{Based} {Software} {Engineering}},\n\tisbn = {978-3-540-29107-7},\n\turl = {http://link.springer.com/chapter/10.1007/11560647_5},\n\tdoi = {10.1007/11560647_5},\n\tabstract = {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.},\n\tbooktitle = {Proceedings of the {International} {Colloquium} on {Theoretical} {Aspects} of {Computing} ({ICTAC})},\n\tauthor = {Jifeng, He and Li, Xiaoshan and Liu, Zhiming},\n\teditor = {Van Hung, Dang and Wirsing, Martin},\n\tyear = {2005},\n\tkeywords = {components, composition, con-, contracts, functionality, interfaces, protocols, refinement, simulation, sistency}\n}\n\n","author_short":["Jifeng, H.","Li, X.","Liu, Z."],"editor_short":["Van Hung, D.","Wirsing, M."],"key":"jifeng_component-based_2005","id":"jifeng_component-based_2005","bibbaseid":"jifeng-li-liu-componentbasedsoftwareengineering-2005","role":"author","urls":{"Paper":"http://link.springer.com/chapter/10.1007/11560647_5"},"keyword":["components","composition","con-","contracts","functionality","interfaces","protocols","refinement","simulation","sistency"],"downloads":0},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/tillhofmann","creationDate":"2019-12-09T14:42:18.174Z","downloads":0,"keywords":["components","composition","con-","contracts","functionality","interfaces","protocols","refinement","simulation","sistency"],"search_terms":["component","based","software","engineering","jifeng","li","liu"],"title":"Component-Based Software Engineering","year":2005,"dataSources":["9pYjFWPBodPyDyb7N"]}