The following pages link to jContractor (Q14222):
Displayed 8 items.
- Formal design and implementation of constraints in software components (Q964358) (← links)
- How the design of JML accommodates both runtime assertion checking and formal verification (Q1776585) (← links)
- Matching in security-by-contract for mobile code (Q2390033) (← links)
- Access permission contracts for scripting languages (Q2942863) (← links)
- (Q3045869) (← links)
- (Q3046739) (← links)
- (Q4413952) (← links)
- Contracts, Scenarios and Prototypes (Q4443487) (← links)