Rigorous Software Engineering
-
Malte Schwerhoff, Martin Vechev
-
Spring Semester
-
Location: rack 6, shelf 4
The course provides an overview of techniques to build correct software, with a strong focus on testing and program analysis.
![]() READING ROOM ONLY
NOT AVAILABLE
![]() Using UMLSoftware engineering with objects and components Perdita Stevens with Rob Pooley
|
||||||||||||||||||||||||||||||||||||||||||||||||
![]() READING ROOM ONLY
NOT AVAILABLE
![]() ![]() UML distilledA brief guide to the standard object modeling language Martin Fowler ; foreword by Cris Kobryn [und 3 anderen]
|
||||||||||||||||||||||||||||||||||||||||||||||||
![]() READING ROOM ONLY
NOT AVAILABLE
![]() Software abstractionsLogic, language, and analysis Daniel Jackson
|
||||||||||||||||||||||||||||||||||||||||||||||||
![]() READING ROOM ONLY
NOT AVAILABLE
![]() ![]() RefactoringImproving the design of existing code Martin Fowler ; with contributions by Kent Beck ... [et al.]
|
||||||||||||||||||||||||||||||||||||||||||||||||
![]() READING ROOM ONLY
NOT AVAILABLE
![]() Software testing and analysisProcess, principles and techniques Mauro Pezzè, Michael Young
|
||||||||||||||||||||||||||||||||||||||||||||||||
![]() READING ROOM ONLY
NOT AVAILABLE
![]() Principles of abstract interpretationPatrick Cousot
|
||||||||||||||||||||||||||||||||||||||||||||||||
![]() READING ROOM ONLY
NOT AVAILABLE
![]() Software engineeringTheory and practice Shari Lawrence Pfleeger, Joanne M. Atlee
|
||||||||||||||||||||||||||||||||||||||||||||||||
![]() READING ROOM ONLY
NOT AVAILABLE
![]() ![]() Design patternsElements of reusable object-oriented software Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides ; foreword by Grady Booch
|
||||||||||||||||||||||||||||||||||||||||||||||||
![]() READING ROOM ONLY
NOT AVAILABLE
![]() Object-oriented software constructionBertrand Meyer
|
||||||||||||||||||||||||||||||||||||||||||||||||
![]() READING ROOM ONLY
NOT AVAILABLE
![]() ![]() Object-oriented software engineeringUsing UML, patterns, and Java Bernd Bruegge & Allen H. Dutoit
|
||||||||||||||||||||||||||||||||||||||||||||||||
![]() READING ROOM ONLY
NOT AVAILABLE
![]() Component softwareBeyond object-oriented programming Clemens Szyperski
|
||||||||||||||||||||||||||||||||||||||||||||||||
![]() READING ROOM ONLY
NOT AVAILABLE
![]() ![]() Java design patternsA tutorial James W. Cooper
|