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

Browse/Search Results:  1-10 of 10 Help

Filters                            
Selected(0)Clear Items/Page:    Sort:
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:2/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  
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:2/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: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  
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  
Specification and simulation of a concurrent real-time system Journal article
International Workshop on Software Engineering for Parallel and Distributed Systems, Proceedings, 1999,Page: 197-204
Authors:  Li Xiaoshan
Favorite  |  View/Download:0/0  |  Submit date:2019/02/14