Rigorous Software Engineering

The course provides an overview of techniques to build correct software, with a strong focus on testing and program analysis.

AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
cover image

Software abstractions

Logic, language, and analysis

Daniel Jackson

Signature Year Rack/Shelf Lecture Return Date Status
Textbook.B.068.01.2 2012 6 / 4 Rigorous Software Engineering On-site use only
Textbook.B.068.01.1 2012 6 / 4 Rigorous Software Engineering 21.7.2025 Unavailable
AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
ONLINE VERSION
cover image

Refactoring

Improving the design of existing code

Martin Fowler ; with contributions by Kent Beck ... [et al.]

Signature Year Rack/Shelf Lecture Return Date Status
Textbook.B.068.12.1 2012 6 / 4 Rigorous Software Engineering Available
Textbook.B.068.12.2 2012 6 / 4 Rigorous Software Engineering Available
IS.12.7 2012 Available
Textbook.B.068.12.3 2012 6 / 4 Rigorous Software Engineering On-site use only
AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
cover image

Principles of abstract interpretation

Patrick Cousot

Signature Year Rack/Shelf Lecture Return Date Status
Textbook.B.068.13.2 2021 6 / 4 Rigorous Software Engineering Available
Textbook.B.068.13.3 2021 6 / 4 Rigorous Software Engineering Available
Textbook.B.068.13.1 2021 6 / 4 Rigorous Software Engineering On-site use only
AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
cover image

Software engineering

Theory and practice

Shari Lawrence Pfleeger, Joanne M. Atlee

Signature Year Rack/Shelf Lecture Return Date Status
Textbook.B.068.05.1 2006 6 / 4 Rigorous Software Engineering Available
Textbook.B.068.05.2 2006 6 / 4 Rigorous Software Engineering Available
AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
ONLINE VERSION
cover image

Design patterns

Elements of reusable object-oriented software

Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides ; foreword by Grady Booch

Signature Year Rack/Shelf Lecture Return Date Status
Textbook.B.068.04.1 1995 6 / 4 Rigorous Software Engineering Available
Textbook.B.068.04.2 1995 6 / 4 Rigorous Software Engineering Available
Textbook.B.087.03.1 1995 5 / 2 Compiler Design Available
Textbook.B.087.03.2 1995 5 / 2 Compiler Design Available
EX.0000.51.1 1995 Available
EX.0000.51.2 1995 Available
EX.0000.51.3 1995 Available
AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
cover image

Object-oriented software construction

Bertrand Meyer

Signature Year Rack/Shelf Lecture Return Date Status
Textbook.B.068.02.1 1997 6 / 4 Rigorous Software Engineering Available
Textbook.B.068.02.2 1997 6 / 4 Rigorous Software Engineering Available
Textbook.B.068.02.3 1997 6 / 4 Rigorous Software Engineering Available
Textbook.B.068.02.4 1997 6 / 4 Rigorous Software Engineering Available
doz.meyer.1997.01.2 1997 Available
doz.meyer.1997.01.1 1997 On-site use only
AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
ONLINE VERSION
cover image

Object-oriented software engineering

Using UML, patterns, and Java

Bernd Bruegge & Allen H. Dutoit

Signature Year Rack/Shelf Lecture Return Date Status
Textbook.B.068.10.1 2010 6 / 4 Rigorous Software Engineering Available
Textbook.B.068.10.2 2010 6 / 4 Rigorous Software Engineering Available
Textbook.B.068.07.1 2004 6 / 4 Rigorous Software Engineering Available
Textbook.B.068.07.2 2004 6 / 4 Rigorous Software Engineering Available
Textbook.B.068.07.3 2004 6 / 4 Rigorous Software Engineering Available
IS.04.7 2004 Available
AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
cover image

Component software

Beyond object-oriented programming

Clemens Szyperski

Signature Year Rack/Shelf Lecture Return Date Status
Textbook.B.068.03.2 1998 6 / 4 Rigorous Software Engineering Available
Textbook.B.068.03.1 1998 6 / 4 Rigorous Software Engineering On-site use only
AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
ONLINE VERSION
cover image

UML distilled

A brief guide to the standard object modeling language

Martin Fowler ; foreword by Cris Kobryn [und 3 anderen]

Signature Year Rack/Shelf Lecture Return Date Status
Textbook.B.068.09.2 2004 6 / 4 Rigorous Software Engineering Available
Textbook.B.068.09.3 2004 6 / 4 Rigorous Software Engineering Available
Textbook.B.068.09.1 2004 6 / 4 Rigorous Software Engineering On-site use only
AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
cover image

Software testing and analysis

Process, principles and techniques

Mauro Pezzè, Michael Young

Signature Year Rack/Shelf Lecture Return Date Status
Textbook.B.068.11.2 2008 6 / 4 Rigorous Software Engineering Available
Textbook.B.068.11.3 2008 6 / 4 Rigorous Software Engineering Available
Textbook.B.068.11.4 2008 6 / 4 Rigorous Software Engineering Available
Textbook.B.068.11.5 2008 6 / 4 Rigorous Software Engineering Available
Textbook.B.068.11.6 2008 6 / 4 Rigorous Software Engineering Available
Textbook.B.068.11.1 2008 6 / 4 Rigorous Software Engineering On-site use only
AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
ONLINE VERSION
cover image

Java design patterns

A tutorial

James W. Cooper

Signature Year Rack/Shelf Lecture Return Date Status
Textbook.B.068.06.2 2000 6 / 4 Rigorous Software Engineering Available
Textbook.B.068.06.1 2000 6 / 4 Rigorous Software Engineering On-site use only
AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
cover image

Using UML

Software engineering with objects and components

Perdita Stevens with Rob Pooley

Signature Year Rack/Shelf Lecture Return Date Status
Textbook.B.068.08.1 2006 6 / 4 Rigorous Software Engineering Available