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

Browse/Search Results:  1-10 of 13 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  
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  
rCOS: Refinement of component and object systems Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Authors:  Liu Z.;  Jifeng H.;  Li X.
Favorite  |  View/Download:4/0  |  Submit date:2019/02/14
Component-Based Development  Consistency  Object-Orientation  Refinement  Specification  
Component-based software engineering* the need to linie methods and their theories Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Authors:  He J.;  Li X.;  Liu Z.
Favorite  |  View/Download:4/0  |  Submit date:2019/02/14
Components  Composition  Consistency  Contracts  Functionality  Interfaces  Protocols  Refinement  Simulation  
Consistent code generation from UML models Conference paper
Proceedings of the Australian Software Engineering Conference, ASWEC, Brisbane, AUSTRALIA, MAR 29-APR 01, 2005
Authors:  Long Q.;  Liu Z.;  Li X.;  Jifeng H.
Favorite  |  View/Download:7/0  |  Submit date:2019/02/14
Code Generation  Consistency  Object Orientation  Semantics  Uml  Utp  
A predicative semantic model for integrating UML models Conference paper
Lecture Notes in Computer Science, Guiyang, PEOPLES R CHINA, SEP 20-24, 2004
Authors:  Yang J.;  Long Q.;  Liu Z.;  Li X.
Favorite  |  View/Download:3/0  |  Submit date:2019/02/14
Formal Semantics  Model Integration  Refinement  Uml  
Towards a Rigorous Approach to UML-Based Development Journal article
Electronic Notes in Theoretical Computer Science, 2005,Volume: 130,Page: 57–77
Authors:  ZhimingLiu;  He Jifeng;  Xiaoshan Li
Favorite  |  View/Download:1/0  |  Submit date:2019/05/20
Object-orientation  Transformation  Component-based Development  Refinement  Specification  
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 proof methodologies of duration calculus and timed linear temporal logic Conference paper
Formal Aspects of Computing
Authors:  Liu Z.;  Ravn A.P.;  Li X.
Favorite  |  View/Download:0/0  |  Submit date:2019/02/14
Design  Real-time  Refinement  Specification  Verification  
A relational model for object-oriented designs Journal article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004,Volume: 3302,Page: 415
Authors:  Jifeng H.;  Liu Z.;  Li X.;  Qin S.
Favorite  |  View/Download:4/0  |  Submit date:2018/10/30
Object Orientation  Refinement  Semantics  Utp