Searching for "Contract-Oriented Specifications." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Contract-Oriented Specifications
- … specification cannot usually be mapped directly to contracts. Instead, a second, contract-oriented, equational…
- Cited by 1 (0 self) – Add To MetaCart
-
Validation of contract decomposition by testing
- … for testing validity of decomposition of contract oriented specifications. The strategy is based on Abadi…
- Cited by 1 (1 self) – Add To MetaCart
-
Using WinWin Quality Requirements Management Tools: A Case Study
- … the 1990’s in order to overcome the difficulties arising from contract-oriented specification compliance…
- Cited by 4 (0 self) – Add To MetaCart
-
A Component-oriented Approach to Security Risk Assessment
- … for environments that satisfy certain assumptions. This motivates contract-oriented specification. Contract-oriented…
- Add To MetaCart
-
Testing Decomposition of Component Specifications Based on a Rule for Formal Verification
- …. Contract-oriented specification has been suggested in many contexts and under different names. Within…
- Cited by 3 (2 self) – Add To MetaCart
-
Model-based risk assessment – the CORAS approach, Presented at the 1 st iTrust Workshop
- … tightly integrated in a UML and RM-ODP is however new. Contract-oriented specification has been suggested…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 6.
