Lehre
Softwaretechnik und mehr

Lehrstuhl für Softwaretechnik (Prof. Zeller)
Universität des Saarlandes – Informatik
Informatik Campus des Saarlandes
Campus E9 1 (CISPA)
66123 Saarbrücken
E-mail: zeller @ cs.uni-saarland.de
Telefon: +49 681 302-70970

Deutschsprachige Startseite Page d'acceuil en franšais English home page
  

Aktuelle Lehrveranstaltungen

Software Engineering (Summer 2017)
Groups of 5-7 students work with real customers to develop a piece of software following best software engineering practices. mehr...
Security Testing
An advanced lecture offered as a block course on various topics in the area of Security Testing mehr...
Master Seminar
Our weekly meeting for students preparing a thesis in software engineering. mehr...
Bachelor- und Master-Arbeiten
Herausforderungen, die Spa▀ machen. mehr...
Software Testing
Specification Mining
Automatic Parallelization
Mining Software Archives
Automated Debugging
FrŘhere Lehrveranstaltungen...

FrŘhere Lehrveranstaltungen

Winter 16/17

Software Praktikum (Herbst 2016)
Gruppen von 6 - 7 Studenten erstellen ein nicht-triviales Softwaresystem in Java. mehr...

Winter 15/16

Programming for Engineers (Winter 2015/16)
As part of the International Engineering Project, this course reprents an introduction to programming with Arduino boards and C. mehr...
Testing and the Cloud (Winter 2015/2016) - Registration is Closed. Kickoff date moved to 29.10
In this seminar, we will explore the state-of-the-art in Testing AND the Cloud. mehr...
Security Testing (Winter 2015/2016)
This seminar will combine two research directions, software testing and system security, into a common theme. mehr...
Analyzing and Testing Non-functional Software Properties (Winter 2015/2016)
In this seminar, we will discuss recent papers on analysis and testing of non-functional software properties. mehr...
Software Engineering (Winter 2015/2016)
Groups of 5-7 students work with real customers to develop a piece of software following best software engineering practices. mehr...
Software Praktikum (Herbst 2015)
Gruppen von 6 Studenten erstellen ein nicht-triviales Softwaresystem in Java. mehr...
App Analysis (Seminar, Sommer 2015)
In diesem Seminar werden wir aktuelle Papers über Analysetechniken für mobile Anwendungen lesen. mehr...
Programmieren für Ingenieure (Sommer 2015)
Eine Einführung in die Programmierung mit Arduino-Boards und C. mehr...

Summer 2015

Software Praktikum (Herbst 2015)
Gruppen von 6 Studenten erstellen ein nicht-triviales Softwaresystem in Java. mehr...
Programming for Engineers (Summer 2015)
An introduction to programming with Arduino boards and C. mehr...
App Analysis (Seminar, Summer 2015)
In this seminar, we will read recent papers about analysis techniques for mobile applications. mehr...

Winter 2014/15

Automated Debugging (Seminar, Winter 14/15)
In this seminar, we will read recent papers about existing advanced debugging methods. mehr...
Software Praktikum (Herbst 2014)
Gruppen von 6 Studenten erstellen ein nicht triviales Softwaresystem in Java. mehr...

Summer 2014

Generating Software Tests (Summer 2014)
This course will present various techniques to automatically generate tests. mehr...
Seminar on Speculative Parallelization (Summer 2014)
In this seminar we will take a look at the foundations and recent advances of speculative parallelization. mehr...
Programmieren für Ingenieure (Sommer 2014)
Eine Einführung in die Programmierung mit Arduino-Boards und C. mehr...

Winter 2013/14

Software Engineering (Winter 2013)
Groups of 5-7 students work with real customers to develop a piece of software following best software engineering practices mehr...
Software Lab (Fall 2013)
Groups of five students develop a non-trivial piece of software mehr...

Summer 2013

Mobile Testing and Analysis (Summer 2013)
A seminar on the existing testing and analysis techniques for mobile applications. mehr...
Software Testing (Sommer 2013)
Proseminar für Bachelor-Studierende: Grundlagen im Themenfeld Software Testing und automatischer Testgenerierung. mehr...

Winter 2012/13

Automated Debugging (Winter 2012)
An in-depth course (6 CP) on debugging that teaches how to debug programs systematically and automatically. mehr...
Automated Testing and Verification (Winter 2012)
An advanced course (6 CP) on testing and verification techniques. mehr...

Summer 2012

Software Lab (Fall 2012)
Groups of five students develop a non-trivial piece of software. mehr...
Software Engineering Core Lecture (Summer 2012)
Software engineering is the application of a systematic, disciplined, quantifiable approach to the development, operation, and maintenance of software. You will do and learn amazing things in this lecture. mehr...
Self-Healing Systems (Summer 2012)
Despite the rigorous development methods to produce high quality software products, and despite the continuous progress of software testing and analysis techniques, software systems are still deployed with bugs. mehr...
Testing, Verification & Everything in Between (Summer 2012)
Testing is a powerful and widely used technique for software quality assurance, which is known to require significant resources in most software development projects. Testing is useful for showing the presence of bugs, not the absence of them. mehr...

Winter 2011/12

Specification Mining (Winter 2011/12)
Everybody agrees it is crucial to have specifications in software, yet 99% of all software does not have any of them. This seminar focuses on how to fix that by automatically mining specifications from software. mehr...

Winter 2010/11

Software Engineering (Winter 2010)
How does one systematically develop large software systems? In this core lecture, we explore systematic software development and maintenance, from requirements engineering to quality assurance. mehr...
Auf Fehlersafari (Winter 2010)
Proseminar für Bachelor-Studierende: Lernen Sie die wichtigsten Methoden zum Aufspüren und zum Vermeiden von Fehlern in Software. mehr...
Software Extension Project (Fall 2010)
Extend a large piece of software in a realistic setting! (Project Seminar) mehr...
Modellgetriebene Softwareentwicklung (Fall 2010)
Learn how software models drive the development process. mehr...

Summer 2010

Software Lab (Fall 2010)
Groups of five students develop a non-trivial piece of software. mehr...
Testing and Debugging (Summer 2010)
Does my program contain bugs, and what can I do against them? In this lecture you learn how to test for bugs and how to debug them. mehr...
Mining Software Archives (Summer 2010)
By attending this seminar you will get introduced to the most recent techniques of mining source code archives, developers communication and bugs history databases. mehr...
Parallele Programmiermuster (Summer 2010)
Study parallel programming from the software pattern perspective! (Proseminar). mehr...
Self-adaptive software (Summer 2010)
Understand current trends and techniques in self-adaptive software. (Proseminar). mehr...

Winter 2009/2010

Automated Testing (Winter 2009)
In this seminar, we investigate methods, tools, and problems related to the automation of software testing. mehr...
Software-Praktikum (Fall 2009)
Entwickeln Sie ein nicht-triviales Software-System in einem Team von f?nf Studierenden. Beginn: 1. September 2009. mehr...
Runtime Code Modification (Fall 2009)
Explore the range of software techniques that are available for modifying and synthesizing code at runtime! mehr...

Summer 2009

Software Engineering (Summer 2009)
How does one systematically develop large software systems? In this core lecture, we explore systematic software development and maintenance, from requirements engineering to quality assurance. mehr...
Programmierung 2 (Summer 2009)
Einführung in die imperative/objektorientierte Programmierung. mehr...
13 Wochen - 13 Sprachen (Summer 2009)
Proseminar für Bachelor-Studierende: In 13 Wochen lernen Sie 13 Programmiersprachen kennen. Ob funktionale, logische, oder imperative Programmierung: für jeden ist etwas dabei! mehr...

Winter 2008/2009

Automated Debugging (Winter 2008/09)
Why does my program fail? In this lecture, you can learn how to find failure causes automatically. mehr...
Automatic Parallelization (Winter 2008/09)
In this seminar we will discuss several different aspects of automatic parallelization. We will talk about recent research as well as older, but not widely known approaches. mehr...
Interpreters and Virtual Machines (Fall 2008)
In this seminar we take a close look at the inner working of interpreters. We study the Java and .NET virtual machines, optimization techniques, and interpreter semantics. mehr...

Summer 2008

Software-Praktikum (Sommer 2008)
Develop a project in a team mehr...
Programmierung 2 (Sommer 2008)
Einführung in die imperative/objektorientierte Programmierung. mehr...
Recommendation Systems (Summer 2008)
In this seminar, we investigate recommendation systems that are designed to assist in the process of software development and to make it less error prone, faster and cheaper. mehr...

Winter 2007/08

Software Engineering (Winter 2007/08)
Core lecture on systematic software development and maintenance — from requirements engineering to quality assurance. mehr...
Software Praktikum (Herbst 2007)
Programmieren im Team mehr...

Summer 2007

Programmierung 2 (Sommer 2007)
Einführung in die imperative/objektorientierte Programmierung. mehr...
Software Mining (Summer 2007)
How to mine programs and their history. mehr...

Winter 2006/2007

Proseminar (Winter 2006/2007)
Seminal Papers in Practical Security: How to give good presentations mehr...
Software Praktikum (Sommer 2006)
Software-Erstellung im Team. Start: 1. September 2006 mehr...

Summer 2006

Automated Debugging (Summer 2006)
Why does my program fail? In this lecture, you can learn how to find failure causes automatically. mehr...
Empirical Software Engineering (Summer 2006)
In this seminar, we investigate how to measure, understand, validate, or even improve software development. mehr...

Winter 2005/2006

Softwaretechnik (WS 2005/06)
In dieser Stammvorlesung lernen Sie, wie man gro├če Software-Systeme baut — sowohl von der technischen als auch von der organisatorischen Seite mehr...
Programmierwerkzeuge (WS 2005/06)
In einem Proseminar lernen Sie, wie man Vortr├Ąge h├Ąlt — in diesem Fall zu Werkzeugen der Programmierung. mehr...
Advanced Functional Programming (WS 2005/06)
A seminar about the best techniques used by functional programmers, so you can use them in your own work. mehr...

Summer 2005

Sabbatical — no courses

Winter 2004/2005

Software Evolution (Winter 2004/05)
What can we learn from software history? This seminar explores recent research and recent results. Initial meeting: October 21! mehr...

Summer 2004

Automated Debugging (Summer 2004)
Why does my program fail? Learn how to find failure causes automatically mehr...
Entwurf sicherer Software-Systeme (Summer 2004)
Lernen Sie die Grundlagen des Entwurfs sicherer Software. mehr...
Configurable Systems (Summer 2004)
Discuss about software configuration at compile time and run time. mehr...

Winter 2003/2004

Software-Praktikum (WS 2003/04)
Softwaretechnik ist »Programmieren im Gro├čen« - gro├če Aufgaben, gro├če Systeme, gro├če Teams. In dieser Vorlesung lernen Sie, wie man Softwaretechnik betreibt - theoretisch und praktisch. mehr...
Forum
Praktomat
Softwaretechnik (WS 2003/04)
In dieser Vorlesung lernen Sie fortgeschrittene Techniken der Softwaretechnik - von Software-Prozessen ├╝ber Programmierkonzepte bis zur kompletten Projektorganisation. mehr...

Summer 2003

Einf├╝hrung in die Softwaretechnik (Summer 2003)
Softwaretechnik ist »Programmieren im Gro├čen« - gro├če Aufgaben, gro├če Systeme, gro├če Teams. In dieser Vorlesung lernen Sie, wie man Softwaretechnik betreibt - theoretisch und praktisch. mehr...
Praktomat

Winter 2002/2003

Perspektiven der Informatik (WS 2002/03)
In dieser Ringvorlesung stellen wir aktuelle Themen und Perspektiven der Informatik vor. F├╝r Informatik-Studierende im ersten Semester und alle Interessierten. mehr...
Automated Debugging (WS 2002/03)
Why does my program fail? This course teaches methods to determine failure causes automatically - by program analysis and experimentation mehr...
Software-Design-Praktikum (WS 2002/03)
Praktikum im Grundstudium. mehr...

Summer 2002

Softwaretechnik II (Summer 2002)
In dieser Vorlesung lernen Sie fortgeschrittene Techniken der Softwaretechnik - von Software-Prozessen ├╝ber Programmierkonzepte bis zur kompletten Projektorganisation. mehr...
Programmanalyse (Summer 2002)
Wie kann ich das Verstehen gro├čer Programme erleichtern? Dieses Seminar betrachtet aktuelle Forschungsthemen. mehr...
Software-Design-Praktikum (Summer 2002)
Praktikum im Grundstudium. mehr...

Winter 2001/2002

Softwaretechnik I (WS 2001/02)
Softwaretechnik ist »Programmieren im Gro├čen« - gro├če Aufgaben, gro├če Systeme, gro├če Teams. In dieser Vorlesung lernen Sie, wie man Softwaretechnik betreibt - theoretisch und praktisch. mehr...
Programmierwerkzeuge (WS 2001/02)
Wie Konzepte der Softwaretechnik in praktischen Werkzeugen realisiert werden, lernen Sie hier. mehr...

Vortrńge, Kurse, usw.

Lehrerfortbildung Dagstuhl (Nov. 2001)
Folien zu den Vortrńgen. mehr...

<webmaster@st.cs.uni-saarland.de> · http://www.st.cs.uni-saarland.de/edu/ · Stand: 2017-01-03 21:09