Formal Specification - Globe Thesis

Keyword [Formal Specification] Result: 21 - 40 \| Page: 2 of 4
21.	The Research On Translating UML Diagram To B-Method Formal Specification And Its Application
22.	Research On Network Service Modelling-The SIP Modelling
23.	The Research On Generation Of Test Case In Object-oriented Software Testing
24.	Research On Implementation Of Object-Z Based Software Architecture To JAVA
25.	The Formal Specification And Refinement Of Open Solaris Kernel Process Based On Temporal Logic
26.	Research On Delivery Standards For High-Dependable IP Cores
27.	C++STL-based Technology To Achieve Refinement And Transformation Of Z Formal Specification
28.	The Research On B Formal Specification Of UML Use Case Model
29.	The Research And Application Of Reusable Test Case Model Based On Specification
30.	Research Of B Formal Specification Based On UML Class Diagram
31.	Formal Specification And Verification Of Automatic DMARF System
32.	The Design And Implementation Of Software Testing Tool Based On Z Specification
33.	Design And Parse Of Formal Specification Language For Security Protocols
34.	Research On Extended Role Graph Model Based On Hybrid Hierarchy
35.	Lfc Is The Language Pattern Matching Method
36.	Research On Network Application Identification Techniques Based On Feature Matching
37.	Study On Formal Model Of Digital Right Expression Language And Its Application
38.	The Research Form UML Modeling To Z Formal Specification
39.	Static Defect Inspection Of Java Source Code Based On Model Checking
40.	Research On Formal Specification Of Automatic Verification Algorithm
<<First <Prev Next> Last>> Jump to