An up to date survey of specification techniques that provides a basic overview of the main methods with a practical focus. Covers the techniques of: UML, Z, SAZ, B, JSD, OMT ...