Speaker Affiliation | Fachbereich Informatik, Lehrstuhl V, Universität Dortmund |
Start | 29.11.2004, 18:30 Uhr |
Location | TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1. OG, Hörsaal M 160 |
In der industriellen Praxis ist eine zuverlässige formale Spezifikation von Systemverhalten eher die Ausnahme, und selbst in den Fällen, wo der Entwicklungsprozess diese explizit vorsieht, werden die Spezifikationen im Laufe des Systemlebenszyklus typischerweise nur nachlässig aktualisiert. In diesem Sinne migriert fast alle Software im Laufe der Zeit unweigerlich zu Legacy Systemen. Bei der bibliotheksbasierten Softwareentwicklung, wo schnittstellen-orientiert fremder Code zu Systemen zusammenfügt wird, scheint die Situation eher noch auswegloser. Der Vortrag stellt Ansätze vor, wie man in solchen Situationen in verschiedenen Phasen des Lebenszyklus systematisch formale Methoden zur Erhöhung der Zuverlässigkeit einsetzen kann. |
Vacancies of TU Braunschweig
Career Service' Job Exchange
Merchandising
Term Dates
Courses
Degree Programmes
Information for Freshman
TUCard
Technische Universität Braunschweig
Universitätsplatz 2
38106 Braunschweig
P. O. Box: 38092 Braunschweig
GERMANY
Phone: +49 (0) 531 391-0