Formal Description - Globe Thesis

Keyword [Formal Description] Result: 1 - 20 \| Page: 1 of 4
1.	Research On Exception Handling Key Technologies Of Service-oriented Computing
2.	Study On Formal Description Of Software Architecture
3.	The Stduy Of Formal Description Of Chinese Character Glyph And Application
4.	Research On Key Technologies And Application Of Combining Modeling And Simulation For Complex Adaptive System
5.	Object-oriented Software Testing
6.	The Research And Formal Description Of Locking Mechanism For Concurrent Control In Cooperative Design
7.	Study Of Specification And Verification Of Protocols Based On Extended Time Petri Nets
8.	Software Architecture And Architecture-Based Development Of System
9.	Research On Storage Mechanism Of Design Pattern
10.	Research On A Method Of Design Pattern Reuse
11.	Research Of Policy-based Information Security Model And Formal Modeling
12.	The Design And Implementation Of Certificate Examination & Checking System Of IT Grade Of Middle And Primary Schools
13.	Design Of Email Mornitor System Based On Formal Protocol Specification
14.	Theoretical Studies On Ontology-Based Information System Modeling
15.	Formal Description And Verification Of SoC Based On Projection Temporal Logic
16.	Research On Formal Description And Modeling Of Chance Discovery
17.	Research On Protocol Testing Based On Contract And Program Instrumentation
18.	From E-LOTOS To GE-LOTOS's Automatic Conversion Tools And Graphical E-LOTOS's Actuator Of The Design And Implementation
19.	The High Formal Description Based On The Application Of Grid
20.	Incomplete Formal Context And Knowledge Acquisition On Many-valued Context
<<First <Prev Next> Last>> Jump to