@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}
}

{"_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"]}