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
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

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

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
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

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
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

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
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

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
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 6.1.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

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