Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Within this website:
External resources:
Within this website:
External resources:
  • the dblp Computer Science Bibliography

Dagstuhl Seminar 07031

Software Dependability Engineering

( Jan 14 – Jan 19, 2007 )

Please use the following short url to reference this page:



During the last few years, functionality and complexity of software products has been increasing dramatically. Customers require more and more functionality and especially high quality products tailored to their particular environment. Therefore, software development faces the challenge to reduce cost, effort, and time-to-market of the software products, but simultaneously ensuring the delivery of the required software product that fulfills the customer’s functional and especially quality expectations.

As a direct consequence, acceptable products may not satisfy all quality requirements perfectly, which is, however, rarely communicated explicitly and clearly – in particular among software practitioners. As a consequence, many software approaches are applied with the implicit intention of achieving “best” quality with respect to all kinds of product characteristics. This is not a problem as long as the typical process configurations always fully satisfy all product and project requirements. This can, however, only rarely be maintained in practice over a long period of time. Changes to functionality, technology, quality, or organization force development approaches to be continuously adapted or optimized.

Therefore, organizations need to understand how to explicitly model their various dependability requirements and how to define and use strategies to meet these requirements. Additionally they must understand the associated costs and trade-offs of different strategies.

The seminar addresses these needs by discussing various needs for dependability especially emphasizing dependability of end products over qualities of intermediate development artifacts. The workshop facilitates the discussion on how to integrate dependability requirements with organizational and project constraints.

During the workshop various groups will focus on selected aspects of software dependability engineering or approach it in various ways. Participants are invited to propose topics.

  • Victor R. Basili (University of Maryland - College Park, US)
  • Maarten Boasson (VU University Amsterdam, NL)
  • Michel Chaudron (TU Eindhoven, NL)
  • Rance Cleaveland (Univ. of Maryland at College Park, US)
  • Karl M. Göschka (TU Wien, AT)
  • Mats P. E. Heimdahl (University of Minnesota - Minneapolis, US) [dblp]
  • Constance L. Heitmeyer (Naval Research - Washington, US) [dblp]
  • John C. Knight (University of Virginia, US) [dblp]
  • Ronny Kolb (Fraunhofer ITWM - Kaiserslautern, DE)
  • Mikael Lindvall (Fraunhofer USA - College Park, US) [dblp]
  • Johannes Mayer (HKUST - Kowloon, HK)
  • John D. McGregor (Clemson University, US) [dblp]
  • Dirk Muthig (Fraunhofer ITWM - Kaiserslautern, DE)
  • Mauro Pezzè (University of Lugano, CH) [dblp]
  • Jesse H. Poore (University of Tennessee, US)
  • H. Dieter Rombach (Fraunhofer ITWM - Kaiserslautern, DE)
  • Mary Shaw (Carnegie Mellon University, US) [dblp]
  • Jan Tretmans (Radboud University Nijmegen, NL) [dblp]
  • Tim Trew (Philips Research Europe - Eindhoven, NL)
  • Stefan Wagner (TU München, DE) [dblp]

  • SW-Engineering
  • Software Quality

  • Quality Engineering
  • Quality Assurance
  • Testing
  • Inspections
  • Quality Modeling