Ludwig-Maximilians-Universität, München, Institut für Informatik
Lehr- und Forschungseinheit für Programmierung und Softwaretechnik
https://www.pst.ifi.lmu.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