FMSE 1 - Overview

bullet1 Prescription

  • <Branch 381>
  • Formal Logic
  • Basic model theory
  • Formal models of computation
  • VDM and Z languages
  • Concurrent systems
  • Model-oriented, property-oriented, and process-oriented approaches.
  • Proofs of correctness and specification validation.
  • . Applications to real cases.

JMJL Please send your comments to Jonathan. This document was updated 21/10/2003.