English | 繁體

Search in the results

UM

Browse/Search Results:  1-3 of 3 Help

Selected(0)Clear Items/Page:    Sort:
Consistency checking of UML requirements Conference paper
Li X., Liu Z., He J.. Consistency checking of UML requirements[C], 2005, 411-420.
Authors:  Li X.;  Liu Z.;  He J.
Favorite |  | Submit date：2019/02/14
Consistency Checking  Formal requirement Specification  Requirement Analysis  UML  
Towards the Integration of a Formal Object-Oriented Method and the Rational Unified Journal article
Zhiming Liu, Xiaoshan Li, He Jifeng, Yifeng Chen. Towards the Integration of a Formal Object-Oriented Method and the Rational Unified[J]. International Conference on Formal Engineering Methods, 2003, 641-664.
Authors:  Zhiming Liu;  Xiaoshan Li;  He Jifeng;  Yifeng Chen
Favorite | TC[WOS]:23 TC[Scopus]:38 | Submit date：2019/05/20
Object-orientation  Uml  Use-cases  Conceptual Models  Requirement Specification  
A relational model for formal object-oriented requirement analysis in UML Journal article
Liu Z., Jifeng H., Li X., Chen Y.. A relational model for formal object-oriented requirement analysis in UML[J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003, 2885, 641.
Authors:  Liu Z.;  Jifeng H.;  Li X.;  Chen Y.
Favorite | TC[WOS]:23 TC[Scopus]:38 | Submit date：2018/10/30
Conceptual Models  Object-orientation  Requirement Specification  Uml  Use-cases