UM

Browse/Search Results:  1-4 of 4 Help

Filters    
Selected(0)Clear Items/Page:    Sort:
rCOS: Refinement of component and object systems Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Authors:  Liu Z.;  Jifeng H.;  Li X.
Favorite  |  View/Download:4/0  |  Submit date:2019/02/14
Component-Based Development  Consistency  Object-Orientation  Refinement  Specification  
Towards a Rigorous Approach to UML-Based Development Journal article
Electronic Notes in Theoretical Computer Science, 2005,Volume: 130,Page: 57–77
Authors:  ZhimingLiu;  He Jifeng;  Xiaoshan Li
Favorite  |  View/Download:4/0  |  Submit date:2019/05/20
Object-orientation  Transformation  Component-based Development  Refinement  Specification  
Towards a rigorous approach to UML-based development Conference paper
Electronic Notes in Theoretical Computer Science
Authors:  Liu Z.;  He J.;  Li X.
Favorite  |  View/Download:3/0  |  Submit date:2019/02/14
Component-Based Development  Object-Orientation  Refinement  Specification  Transformation  
Identification and quantitation of eleven sesquiterpenes in three species of Curcuma rhizomes by pressurized liquid extraction and gas chromatography-mass spectrometry Journal article
JOURNAL OF PHARMACEUTICAL AND BIOMEDICAL ANALYSIS, 2005,Volume: 39,Issue: 3-4,Page: 552-558
Authors:  Yang, FQ;  Li, SP;  Chen, Y;  Lao, SC;  Wang, YT;  Dong, TTX;  Tsim, KWK
View  |  Adobe PDF(206Kb)  |  Favorite  |  View/Download:294/30  |  Submit date:2018/11/01
Gas Chromatography-mass Spectrometry  Sesquiterpenes Determination  Pressurized Liquid Extraction  Quality Control  Curcuma