Pages that link to "Item:Q3602999"
From MaRDI portal
The following pages link to Multiple Viewpoint Contract-Based Specification and Design (Q3602999):
Displaying 14 items.
- A contract-based approach to adaptivity (Q541295) (← links)
- Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects (Q633299) (← links)
- HRELTL: a temporal logic for hybrid systems (Q897648) (← links)
- Theory and methodology of assumption/commitment based system interface specification and architectural contracts (Q1654563) (← links)
- Tightening the contract refinements of a system architecture (Q1654565) (← links)
- Conditions of contracts for separating responsibilities in heterogeneous systems (Q1742989) (← links)
- Unifying theories of reactive design contracts (Q2007732) (← links)
- Automated verification of reactive and concurrent programs by calculation (Q2043817) (← links)
- An abstract contract theory for programs with procedures (Q2044183) (← links)
- A mechanically verified theory of contracts (Q2119969) (← links)
- Moving from interface theories to assembly theories (Q2340257) (← links)
- Contracts for Schedulability Analysis (Q2945603) (← links)
- (Q5021015) (← links)
- Preserving Contract Satisfiability Under Non-monotonic Composition (Q5881541) (← links)
