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

Browse/Search Results:  1-10 of 11 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  
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:2/0  |  Submit date:2019/02/14
Components  Composition  Consistency  Contracts  Functionality  Interfaces  Protocols  Refinement  Simulation  
Consistency checking of UML requirements Conference paper
Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
Authors:  Li X.;  Liu Z.;  He J.
Favorite  |  View/Download:1/0  |  Submit date:2019/02/14
Consistency Checking  Formal requirement Specification  Requirement Analysis  UML  
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  
Generating a prototype from a UML model of system requirements Journal article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004,Volume: 3347,Page: 255-265
Authors:  Li X.;  Liu Z.;  He J.;  Long Q.
Favorite  |  View/Download:1/0  |  Submit date:2019/02/14
Code generation  Formal specification  Prototype  Requirements analysis  
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  
Towards the Integration of a Formal Object-Oriented Method and the Rational Unified Journal article
International Conference on Formal Engineering Methods, 2003,Page: 641-664
Authors:  Zhiming Liu;  Xiaoshan Li;  He Jifeng;  Yifeng Chen
Favorite  |  View/Download:5/0  |  Submit date:2019/05/20
Object-orientation  Uml  Use-cases  Conceptual Models  Requirement Specification  
Towards a Refinement Calculus for Object Systems Conference paper
1st IEEE International Conference on Cognitive Informatics (ICCI 2002), CALGARY, CANADA, AUG 19-20, 2002
Authors:  He, JF;  Liu, ZM;  Li, XS
Favorite  |  View/Download:18/0  |  Submit date:2019/05/20
Using transition systems to unify UML models Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), SHANGHAI, PEOPLES R CHINA, OCT 21-25, 2002
Authors:  Liu Z.;  Li X.;  He J.
Favorite  |  View/Download:2/0  |  Submit date:2019/02/14
Conceptual Model  Object-orientation  Transition Systems  Uml  Use-case Model  
Towards a formal use of UML for software requirement analysis Conference paper
PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, LAS VEGAS, NV, JUN 25-28, 2001
Authors:  Liu, ZM;  Li, XS;  He, JF
Favorite  |  View/Download:0/0  |  Submit date:2019/07/24
Conceptual Model  Use-case Models  Object-orientation  Refinement  Uml