Links

1. Formal Methods
2. Object Orientation
3. Object Management
4. Object Data Management
5. Project Management
   1. PRINCE2
6. Security
   1. Windows NT
   2. Unix
   3. Applications Design
7. Systems Analysis

Formal Methods

1. Introduction to Formal Specification in Z: Potter, Till et al.
2. Z Reference: Spivey
3. Oxford Programming Research Lab: Oxford University
• http://www.comlab.ox.ac.uk/archive/formal-methods.html

Object Orientation

1. Object Oriented Analysis and Design: Booch
2. The Fusion Method
3. Unified Modelling Language, UML

Object Management

1. Object Management Group
   • http://www.omg.org

Object Data Management

1. Object Data Management: Cattell
2. Object Data Management Group
   • http://www.odmg.com

    

Project Management

PRINCE2

1. Office of Government Commerce (official PRINCE2 website)
   • http://www.ogc.gov.uk/prince
2. PRINCE2.com
   • http://www.prince2.com
3. PRINCE2.org.uk
   • http://www.prince2.org.uk

Security Engineering

Applications Design

Windows NT

Unix

Systems Analysis

1. Heirarchical Task Analysis: Andrew Shepherd