Using Design Patterns to Derive PAC Architectures from Object-Z Specifications.

Andrew Hussey Using Design Patterns to Derive PAC Architectures from Object-Z Specifications. 40-51 1999 conf/tools/32-1999 TOOLS (32) http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.809413 db/conf/tools/tools32-1999.html#Hussey99