Searching for "Integration of formal specification" – sorted by Relevance.
66 documents found, showing 1 through 10.
Next 10 →
-
Unintrusive Ways to Integrate Formal Specifications in
- …Unintrusive Ways to Integrate Formal Specifications in Practice Jeannette M. Wing and Amy Moormann…
- Add To MetaCart
-
Integrating Formal Specification and Software Verification and Validation
- …Integrating Formal Specification and Software Verification and Validation Roger Duke, Tim Miller…
- Add To MetaCart
-
Integrating Formal Specification and Software Verification and Validation
- … Integrating Formal Specification and Software Verification and Validation Roger Duke, Tim…
- Add To MetaCart
-
Unintrusive Ways to Integrate Formal Specifications in Practice
- …Unintrusive Ways to Integrate Formal Specifications in Practice Jeannette M. Wing and Amy Moormann…
- Cited by 6 (1 self) – Add To MetaCart
-
SHE'S Project: a Report of Joint Works on Integration of Formal Specification Techniques
- …SHE'S Project: a Report of Joint Works on Integration of Formal Specication Techniques Michel…
- Cited by 5 (4 self) – Add To MetaCart
-
Integrating Object-Oriented Analysis and Formal Specification
- … of integrating formal specification with the development process. Integrated methods seek to mitigate…
- Cited by 4 (2 self) – Add To MetaCart
-
Development of Incremental Integration Tools Using Formal Specifications
- …- 1 - Development of Incremental Integration Tools Using Formal Specifications Martin Lefering…
- Cited by 1 (0 self) – Add To MetaCart
-
Integrating Performance Evaluation and Formal Specification
- …Integrating Performance Evaluation and Formal Specification J. Martins* J.-P. Hubaux* T. Saydarn…
- Cited by 3 (0 self) – Add To MetaCart
-
Software Environment Support for Integrated Formal Program Specification and Development
- … the IEEE. Software environment support for integrated formal program specification and development John C…
- Add To MetaCart
-
Specifying and Reasoning Generic Architecture in TCOZ
- … integrated formal specification techniques, Timed Communicating Object Z (TCOZ), to the generic software…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
