Software Engineering Principles
Autumn 2011
Informations- og Kommunikations- Teknologi
Ingeniørhøjskolen i Aarhus
Front page ·
Course Material ·
Lectures ·
Contact ·

Course Material

Related Courses

Project management (Technical)

Project management (Business)

Specification of IT systems

Software architecture


Formal methods for critical systems


Main text: Ian Sommerville: Software Engineering, 8th edition. Addison Wesley, 2007.
Background: Roger S. Pressman, Darrel Ince: Software Engineering -- A Practitioner's Approach, 5th edition. McGraw-Hill, 2000.
Shari L. Pleeger, Joanne M. Atlee: Software Engineering, 4th edition. Pearson, 2010.
Bob Hughes, Mike Cotterell: Software Project Management, 4th edition. McGraw-Hill, 2006.
Timothy C. Lethbridge, Robert Laganière: Object-Oriented Software Engineering -- Practical Software Development using UML and Java, 2nd edition. McGraw-Hill, 2005.
Problem Frames: Michael Jackson: Problem Frames -- Analyzing and structuring software development problems. Addison-Wesley, 2001.
UML: Martin Fowler, Kendall Scott: UML Distilled, 2nd edition. Addison-Wesley, 2000.
Z: Jim Woodcock, Jim Davis: Using Z -- Specification, Refinement, and Proof. Prentice-Hall, 1996.
Formal Verification: R. D. Tennent: Specifying Software -- A Hands-On Introduction. Cambridge University Press, 2002.
Therac-25 Case: Nancy Leveson: Medical Devices: The Therac-25. 1995.
Safety Critical Systems: Neil Storey: Safety-Critical Computer Systems. Pearson, 1995.
Nancy G. Leveson: Safeware: System Safety and Computers. Addison-Wesley, 1995.


See Lectures
Updated 22 August 2011
Stefan Hallerstede (