UM  > 科技學院  > 電腦及資訊科學系
Component-based software engineering* the need to linie methods and their theories
He J.1; Li X.3; Liu Z.1
2005-12-01
Source PublicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3722 LNCS
Pages70-95
AbstractWe 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. © Springer-Verlag Berlin Heidelberg 2005.
KeywordComponents Composition Consistency Contracts Functionality Interfaces Protocols Refinement Simulation
URLView the original
Language英語
Fulltext Access
Document TypeConference paper
CollectionDEPARTMENT OF COMPUTER AND INFORMATION SCIENCE
Affiliation1.United Nations University
2.East China Normal University
3.Universidade de Macau
Recommended Citation
GB/T 7714
He J.,Li X.,Liu Z.. Component-based software engineering* the need to linie methods and their theories[C],2005:70-95.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[He J.]'s Articles
[Li X.]'s Articles
[Liu Z.]'s Articles
Baidu academic
Similar articles in Baidu academic
[He J.]'s Articles
[Li X.]'s Articles
[Liu Z.]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[He J.]'s Articles
[Li X.]'s Articles
[Liu Z.]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.