Software specification comprises a collection of techniques for describing a software system to be developed. This course covers informal and formal specification techniques. In two challenge based assignments, the students will experience the use of both informal and formal specification techniques for modelling (aspects of) software systems.