English | 繁體

Search in the results

UM

Browse/Search Results:  1-2 of 2 Help

Selected(0)Clear Items/Page:    Sort:
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  
An animatable operational semantics of the Verilog hardware description language Conference paper
Bowen J.P., He J., Xu Q.. An animatable operational semantics of the Verilog hardware description language[C], 2000, 199-207.
Authors:  Bowen J.P.;  He J.;  Xu Q.
Favorite | TC[WOS]:11 TC[Scopus]:18 | Submit date：2019/04/04
Animation  Documentation  Hardware Design Languages  Helium  Interleaved Codes  Logic Programming  Standards Development  Standards Working Groups  Uniform Resource Locators  Very High Speed Integrated Circuits