The following pages link to (Q4736414):
Displaying 5 items.
- A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures (Q608247) (← links)
- jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation (Q812054) (← links)
- Service refinement (Q954408) (← links)
- Theorem proving graph grammars with attributes and negative application conditions (Q2358623) (← links)
- Views on Behaviour Protocols and Their Semantic Foundation (Q2888499) (← links)
