Travelled to:
1 × Australia
Collaborated with:
∅
Talks about:
architectur (1) pattern (1) specif (1) object (1) design (1) deriv (1) use (1) pac (1)
Person: Andrew Hussey
DBLP: Hussey:Andrew
Contributed to:
Wrote 1 papers:
- TOOLS-PACIFIC-1999-Hussey #design pattern #specification #using
- Using Design Patterns to Derive PAC Architectures from Object-Z Specifications (AH), pp. 40–51.