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

Browse/Search Results:  1-3 of 3 Help

Filters            
Selected(0)Clear Items/Page:    Sort:
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:9/0 | TC[WOS]:19 TC[Scopus]:0 | Submit date:2019/02/14
Consistency  Semantics  Sequence Diagram  Uml  
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:7/0 | TC[WOS]:0 TC[Scopus]:13 | Submit date:2018/10/30
Object Orientation  Refinement  Semantics  Utp  
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:8/0 | TC[WOS]:14 TC[Scopus]:0 | Submit date:2019/02/14
Component  Contract  Interface  Object-orientation  Refinement