Lecture: Specification of Software Systems

Lecturer

Dr. Bernhard Westfechtel
Simon M. Becker (Exercises)

Lecture

Lecture (2 hours/week): Mo, 8.30-9.45, 5056
Exercises (1 hour/week): Mo, 9.45-10.15, 5056

Subject

Specification languages are used to describe software systems in a formal way. They can be classified into data- and process-oriented languages. From the specification an implementation may be generated automatically, or the implementation is written by hand and a proof is conducted that the implementation satisfies the specification. The lecture provides a survey on a set of specification languages – including e.g. algebraic specifications, Z, graph transformation systems, and SDL.

Prerequisites

This lecture addresses students in the main study phase. It is assumed that students are familiar with programming, but knowledge of software engineering is not required.

Literature

V.S. Alagar, K. Periyasamy: Specification of Software Systems, Springer-Verlag (1998)

Links

The Z Notation

Downloads (PDF)

Slides

Introduction

Algebraic Specifications

Graph Rewriting Systems

The Specification Language Z

SDL

Exercises

Exercise Sheets	Solutions
Sheet 1	Solution 1
Sheet 2	Solution 2
Sheet 3	Solution 3
Sheet 4	Solution 4
Sheet 5	Solution 5