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

Browse/Search Results:  1-4 of 4 Help

Filters        
Selected(0)Clear Items/Page:    Sort:
rCOS: A formal model-driven engineering method for component-based software Journal article
Frontiers of Computer Science in China, 2012,Volume: 6,Issue: 1,Page: 17-39
Authors:  Ke W.;  Li X.;  Liu Z.;  Stolz V.
Favorite  |  View/Download:5/0  |  Submit date:2019/02/14
Component-based Design  Model Transformations  Models  Tool Support  Verification  
Interactive Transformation from Object-Oriented Models to Component-based Models Conference paper
Formal Aspects of Component Software, Oslo, Norway, September 14-16, 2011
Authors:  Dan Li;  Xiaoshan Li;  Zhiming Liu;  Volker Stolz
Favorite  |  View/Download:5/0  |  Submit date:2019/07/24
Model-driven Development  Component Model  Model Transformation  Qvt  Oo Design Model  Sequence Diagram  
Unifying views of UML Conference paper
Electronic Notes in Theoretical Computer Science
Authors:  Liu Z.;  He J.;  Liu J.;  Li X.
Favorite  |  View/Download:3/0  |  Submit date:2019/02/14
Object-Orientation  RUP  UML  UTP  
Formal and use-case driven requirement analysis in UML Journal article
Proceedings - IEEE Computer Society's International Computer Software and Applications Conference, 2001,Page: 215-224
Authors:  Li X.;  Liu Z.;  He J.
Favorite  |  View/Download:4/0  |  Submit date:2019/02/14
Conceptual Model  Incremental Model Building  Object-orientation  Uml  Use Cases