UM

Browse/Search Results:  1-2 of 2 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:6/0  |  Submit date:2019/07/24
Model-driven Development  Component Model  Model Transformation  Qvt  Oo Design Model  Sequence Diagram