Formal approach to Software Development

• Identify an area of HS work which requires an integrated application set

• Analyse software requirements

• Formal modular global specification

• Implement specification as standard

• Maintain standard and operate compliance testing