Font Size: a A A
Keyword [Specification]
Result: 1 - 20 | Page: 1 of 10
1. Key Techniques For Software Behavior Dynamic Analysis
2. Specification Mining And Enforcement To Combat Resource Usage Faults
3. Modeling, Verification And Testing With The Extended π-calculus
4. Reverse Extracting Of Protocol Model Based On Dynamic Binary Analysis And Its Application
5. Studying On Theory For Testing The Dynamic Performance Of High Speed Analog-to-Digital Converter And Its Parameters Testing
6. The Uncertainty Research In Requirements Engineering
7. Research On And Enforcement Of Secure Operating System Supporting Multiple Security Policy
8. Study Of Design Patterns
9. Study Of The Theory And Techniques For Testing Object-Oriented Software
10. The Key Techniques Of Spatial Database Based On Regularly Spatial Discrete Domains Objects
11. Research On Formal Modeling Of Distributed Systems
12. Study On The Theory And Practice Of Ontology And Ontology-based Agricultural Document Retrieval System--Floricultural Ontology Modeling
13. Object-oriented Formal Specification Based Test Generation
14. SOZRSL Software Requirement Specification Language And Refinement
15. Research On The Theory And Key Techniques Of Multi-Resolution Modeling (MRM)
16. Research On The Web Components Model And Its Application To The Water Resources Domain
17. Research On Commercial Security Policy And Its Formal Analysis
18. Research On Specification-based Unified Software Modelling System
19. Paraconsistent Temporal Logic And Its Model Checking
20. Research Of Automated Generation Of Test Oracles From Real-Time Specification
  <<First  <Prev  Next>  Last>>  Jump to