Universität Karlsruhe
Institut für Logik, Komplexität und Deduktionssysteme
Lehrstuhl Prof. P. H. Schmitt,
Lehrstuhl Prof. W. Menzel
Formale Entwicklung objektorientierter Software
Praktikum im Sommersemester 2001
Der Einsatz formaler Methoden bei der Softwareentwicklung gewinnt -
insbesondere in sicherheitskritischen Anwendungen - immer mehr an
Bedeutung. Dabei erweist es sich als immer wichtiger, die formalen
Methoden in den industriellen Softwareengineering-Prozeß zu
integrieren.
Dieses Praktikum wird im Rahmen des KeY Projektes durchgeführt.
Genauere Informationen zum Praktikum werden rechtzeitig hier
bekanntgegeben.
beckert@ira.uka.de
$Id: index.html,v 1.2 2001/02/15 16:24:01 beckert Exp $