Spring 1999 Lecture Notes
Software Engineering:
Abstraction & Modelling
Domains, Requirements, Architecture &c.
Formal Techniques

Dines Bjørner
Professor of Computing Science
Department of Information Technology
Technical University of Denmark
E-Mail: db@it.dtu.dk

April 14, 1999
Spring -- Summer 1999