The following pages link to Jeannette M. Wing (Q914402):
Displaying 16 items.
- (Q192240) (redirect page) (← links)
- Verifying atomic data types (Q914403) (← links)
- Some notes on putting formal specifications to productive use (Q1167530) (← links)
- Protective interface specifications (Q1271854) (← links)
- Testing and verifying concurrent objects (Q1803302) (← links)
- (Q2767157) (← links)
- Behavioural subtyping using invariants and constraints (Q2906947) (← links)
- Writing Larch interface language specifications (Q3763570) (← links)
- Extending Ina Jo with temporal logic (Q3816959) (← links)
- (Q4723294) (← links)
- (Q4808685) (← links)
- Formal Methods for Components and Objects (Q5311297) (← links)
- Using belief to reason about cache coherence (Q5361395) (← links)
- Computational thinking and thinking about computing (Q5504039) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713523) (← links)
- A Nitpick analysis of Mobile IPv6 (Q5938661) (← links)