Software Engineering using
Formal Methods
TDA293/DIT270, LP1, HT2014

Lecture Notes: Course Introduction

Topics

This is an introduction to the topic of formal methods (for software), both motivation and describing the overall area. We contrast this also to other areas of engineering, and to other means of ensuring high quality. We discuss specification in general, the match between specification and the specified system. Here, we emphasise the need of formal notations and of tool support. We finish by discussing degrees of abstraction and degrees of specification complexity, and place the two main parts of the course in this picture.

Handouts




Home | Course | Schedule | Exam | Exercises | Labs | Eval | Tools W. Ahrendt , Sep 3, 2014