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:
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:5/0  |  Submit date:2019/02/14
Ocl  Requirements Model  Uml  Validation  
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:7/0  |  Submit date:2019/02/14
Formal Methods  Software Development Tool  Software Process  Tool Design  
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:5/0  |  Submit date:2019/02/14
Formal Semantics  Model Integration  Refinement  Uml  
A formal semantics of UML sequence diagram Conference paper
Proceedings of the Australian Software Engineering Conference, ASWEC, Melbourne, AUSTRALIA, APR 13-16, 2004
Authors:  Li X.;  Liu Z.;  Jifeng H.
Favorite  |  View/Download:6/0  |  Submit date:2019/02/14
Consistency  Semantics  Sequence Diagram  Uml  
Contract oriented development of component software Conference paper
IFIP Advances in Information and Communication Technology, Toulouse, FRANCE, AUG 22-27, 2004
Authors:  Liu Z.;  Jifeng H.;  Li X.
Favorite  |  View/Download:7/0  |  Submit date:2019/02/14
Component  Contract  Interface  Object-orientation  Refinement  
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