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

Browse/Search Results:  1-8 of 8 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:4/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:7/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:3/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:3/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:3/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:3/0  |  Submit date:2019/02/14
Object-Orientation  RUP  UML  UTP  
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:5/0  |  Submit date:2019/02/14
Conceptual Model  Object-orientation  Transition Systems  Uml  Use-case Model  
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:5/0  |  Submit date:2019/02/14
Conceptual Model  Incremental Model Building  Object-orientation  Uml  Use Cases