Font Size: a A A
Keyword [Formal Specifications]
Result: 1 - 13 | Page: 1 of 1
1. Research On Petri Net Based Mapping And Validation Of UML Model
2. Research Of Way To Improve Agile Software Development And Tools To Support It
3. Research On Formal Specifications Method Of Ontology-based Enterprise Applications
4. Automatic Transformation From SOFL Formal Specifications To Programs
5. Study On The Automatic Testing Method For The Completeness Of Formal Specifications Based On SOFL
6. Design And Implementation Of Software Components Based On The SOFL Formal Specifications
7. Test-Driven Development with Oracles and Formal Specifications
8. A framework for merging Object-Oriented formal specifications
9. Automated test generation from formal specifications of real-time reactive systems
10. Writing, verifying, and exploiting formal specifications for hardware designs
11. Automated component retrieval and adaptation using formal specifications
12. Estimating performance of communication protocols from formal specifications
13. Writing a visual programming language reference manual using formal specifications
  <<First  <Prev  Next>  Last>>  Jump to