Ludwig-Maximilians-Universität, München, Institut für Informatik
Lehr- und Forschungseinheit für Programmierung und Softwaretechnik

http://www.pst.informatik.uni-muenchen.de/projekte/push/index.html

PUSH - Prozeßgesteuerte Umgebung zur Software-Herstellung

Die Lehr- und Forschungseinheit für Programmierung und Softwaretechnik beschäftigt sich mit der Entwicklung und Anwendung von Beschreibungstechniken für den Entwurf, die Implementierung und Validierung von Software-Systemen. In den verschiedenen Phasen des Software-Entwicklungsprozesses kommen unterschiedliche Beschreibungstechniken zum Einsatz, die von verschiedenen Werkzeugen unterstützt werden, wie zum Beispiel

graphische Editoren,
Codegeneratoren,
Animationswerkzeuge,
Beweiser.

Wir streben die Integration unterschiedlicher Techniken und Werkzeuge an und wollen diese durch die Entwicklung einer offenen, dokumentenzentrierten Werkzeugplattform unterstützen.

Ansprechpartner: Dr. Harald Störrle, Dr. Alexander Knapp, Florian Hacklinger.

Liste aller Projekte

Lehrstuhl

Institut

Universität

Florian Hacklinger (9.2.2001)

Last modified: Tue Apr 20 11:42:32 CET 2004