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

Browse/Search Results:  1-10 of 27 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:4/0  |  Submit date:2019/02/14
Component-based Design  Model Transformations  Models  Tool Support  Verification  
AutoPA: Automatic prototyping from requirements Conference paper
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, Heraklion, GREECE, OCT 18-21, 2010
Authors:  Li X.;  Liu Z.;  Schaf M.;  Yin L.
Favorite  |  View/Download:8/0  |  Submit date:2019/02/14
Formal Semantics  Prototyping  Requirements Models  Validation  
Validating requirements model of a B2B system Conference paper
Proceedings of the 2009 8th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009, Shanghai, PEOPLES R CHINA, JUN 01-03, 2009
Authors:  Yin L.;  Liu J.;  Li X.
Favorite  |  View/Download:4/0  |  Submit date:2019/02/14
Ocl  Requirements Model  Uml  Validation  
Animating the brush-writing process of Chinese calligraphy characters Conference paper
Proceedings of the 2009 8th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009, Shanghai, PEOPLES R CHINA, JUN 01-03, 2009
Authors:  Yang L.;  Li X.
Favorite  |  View/Download:7/0  |  Submit date:2019/02/14
Animation Of Chinese Calligraphy  Image Processing  Stroke And Trajectory Extraction  
Validation of requirement models by automatic prototyping Conference paper
Innovations in Systems and Software Engineering
Authors:  Li D.;  Li X.;  Liu J.;  Liu Z.
Favorite  |  View/Download:3/0  |  Submit date:2019/02/14
Codegeneration  OCL  Prototype  Requirement validation  UML  
Prototyping System Requirements Model Journal article
Electronic Notes in Theoretical Computer Science, 2008,Volume: 207,Issue: C,Page: 17-32
Authors:  Li X.;  Liu Z.
Favorite  |  View/Download:1/0  |  Submit date:2019/02/14
Prototype  System Requirements Model  UML  
Harnessing rCOS for tool support - The CoCoME experience Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Macao, PEOPLES R CHINA, SEP 24-25, 2007
Authors:  Chen Z.;  Li X.;  Liu Z.;  Stolz V.;  Yang L.
Favorite  |  View/Download:4/0  |  Submit date:2019/02/14
Formal Methods  Software Development Tool  Software Process  Tool Design  
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:2/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:2/0  |  Submit date:2018/10/30
Components  Composition  Contracts  Interfaces  Protocols  
rCOS: A refinement calculus of object systems Journal article
Theoretical Computer Science, 2006,Volume: 365,Issue: 2018-01-02,Page: 109
Authors:  Jifeng H.;  Li X.;  Liu Z.
Favorite  |  View/Download:2/0  |  Submit date:2018/10/30
Object Orientation  Refinement  Semantics  Utp