OCL - Dissertation

About 30 item dissertation in line with OCL query results,the following is 1 to 50(Search took 0.037 seconds)

Demand-side Load Management and Application of Electric Consumer in the Smart Gird,ChenZuo/Huazhong University of Science and Technology,0/33
Theoretical and Calculational Study of the Reactions H+OCl,HanChengLi/Dalian Jiaotong University,0/3
Application of ECO Database Technology and Development of Network Games Research,HaShenHua/Jilin University,0/31
Research on Methods for Generating Test Cases of Inter-classes Interaction Based on UML Models and OCL Constraints,FengQiuYan/Zhengzhou University,0/52
The Research of Software Testing on Bank Automatic Teller System,HuangJinYong/Wuhan University of Technology,0/71
Research on Activity Diagram Polymorphic Test Method with OCL Constraints,DingNa/Chongqing University,0/20
Analysis and Verification of Security Authorization for Role Based Access Control System,ZhangZuo/Hunan University,0/12
A Formalized Model of Digital Data for Trusted Forensics,DingQiuFeng/Nanjing University of Posts and Telecommunications,0/87
Mapping & Merging of Heterogeneous Ontologies Based on Fuzzy Similarity and Verificaiton,QianPengFei/Shanghai Jiaotong University,2/645
The Research and Implementation of User-Oriented Software Component Test,HuangXingHua/Shanghai Jiaotong University,1/114
Workflow Modeling Technique Based Model-Driven Architecture,WangLiaoYi/Nanjing University of Aeronautics and Astronautics,3/257
Research of Model Transformation Method in MDA,ZhangChengLong/Harbin Engineering University,5/251
Research on OCL-JML Mapping Mechanisms and Its Application in Software Development Process,ChaBing/East China Normal University,0/56
Software testing methods and component-based applications,MoWeiGuo/Northwestern Polytechnical University,5/330
The Construction of the Developed Platform and Real-time Communication Among Multi-computer System in DTS,ZhangShuaiMin/North China Electric Power University (Hebei),1/22
Study on the Computing System of Overhead Contact Line in High-Speed Electric Railway Based on Smart Client,TangJinCheng/Southwest Jiaotong University,2/155
Ontology - based field analysis,DuYingGuo/Kunming University of Science and Technology,8/300
The Study and Implementation of Data Form-Oriented Component Repository Technology,WuXueMei/Northeastern University,5/150
A Study on a Method of Transformation from PIM to PSM Using Patterns,LiuKui/Hefei University of Technology,25/237
Study on the Key Construction Techniques of Overhead Contact Line in High-Speed Electric Railway,DaiBoShou/Southwest Jiaotong University,2/509
A Method of Test Data Generation Based on UML Sequence Diagrams,YangZuo/Nanjing University of Aeronautics and Astronautics,0/83
Research on the Combination of UML Technology and Test-Driven Development Technology,ZhangHaiFeng/Nanjing University of Aeronautics and Astronautics,2/121
UML Model Verification and Test Based on Graph Transformation,WangWei/Dalian Maritime University,0/159
Study and Implementation of Policy-based Conflict Detection System for Billing Rules,LvKeDa/Beijing University of Posts and Telecommunications,0/18
Researches on Formal Constraints of OCL-Based Web Service Composition,SongYingJie/Dalian Maritime University,0/69
Research on Software Process Modeling Technology,WangShanShan/Harbin Engineering University,1/51
Study on Ocl-based Testing Methodology for Web Services,FengXiGuang/Hunan University of Science and Technology,3/54
A Research of UML Formal Verification Based on Situation Calculus and OCL Constraints Automatic Generation,TanLi/East China Normal University,0/56
UML-based dynamic adaptive management Research and Implementation of Prototype System,HuangDong/Shanghai Jiaotong University,0/32
Research on Model Driven Architecture Based on Aspect-oriented Programming,ChenYueJuan/Hebei University of Engineering,0/15