UM

Browse/Search Results:  1-3 of 3 Help

Filters    
Selected(0)Clear Items/Page:    Sort:
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:2/0  |  Submit date:2018/10/30
Components  Composition  Contracts  Interfaces  Protocols  
Towards a rigorous approach to UML-based development Conference paper
Electronic Notes in Theoretical Computer Science
Authors:  Liu Z.;  He J.;  Li X.
Favorite  |  View/Download:2/0  |  Submit date:2019/02/14
Component-Based Development  Object-Orientation  Refinement  Specification  Transformation  
Unifying views of UML Conference paper
Electronic Notes in Theoretical Computer Science
Authors:  Liu Z.;  He J.;  Liu J.;  Li X.
Favorite  |  View/Download:1/0  |  Submit date:2019/02/14
Object-Orientation  RUP  UML  UTP