UM
(Note: the search results are based on claimed items)

Browse/Search Results:  1-3 of 3 Help

Filters                            
Selected(0)Clear Items/Page:    Sort:
A characterization of UML diagrams and their consistency Conference paper
Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, Stanford, CA, AUG 15-17, 2006
Authors:  Li X.
Favorite | View/Download:7/0 | TC[WOS]:1 TC[Scopus]:0 | Submit date:2019/02/14
Consistency Checking  Semantics  Sequence Diagram  Uml2.0  
A Theory of Reactive Components Journal article
Electronic Notes in Theoretical Computer Science, 2006,Volume: 160,Issue: 1,Page: 173
Authors:  He J.;  Li X.;  Liu Z.
Favorite | View/Download:10/0 | TC[WOS]:0 TC[Scopus]:0 | Submit date:2018/10/30
Components  Composition  Contracts  Interfaces  Protocols  
A Relational Calculus of Components Journal article
Book Series: Series on Component-Based Software Development, 2006,Volume: 2,Page: 207-238
Authors:  Zhiming Liu;  Jifeng He;  Xiaoshan Li
Favorite | View/Download:4/0 | TC[WOS]:0 TC[Scopus]:0 | Submit date:2019/07/30