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:
rCOS: A refinement calculus of object systems Journal article
Theoretical Computer Science, 2006,Volume: 365,Issue: 2018-01-02,Page: 109
Authors:  Jifeng H.;  Li X.;  Liu Z.
Favorite | View/Download:7/0 | TC[WOS]:49 TC[Scopus]:73 | Submit date:2018/10/30
Object Orientation  Refinement  Semantics  Utp  
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  
A relational model for formal object-oriented requirement analysis in UML Journal article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003,Volume: 2885,Page: 641
Authors:  Liu Z.;  Jifeng H.;  Li X.;  Chen Y.
Favorite | View/Download:7/0 | TC[WOS]:19 TC[Scopus]:30 | Submit date:2018/10/30
Conceptual Models  Object-orientation  Requirement Specification  Uml  Use-cases