 Ludwig-Maximilians-Universität, München, Institut für Informatik
 Ludwig-Maximilians-Universität, München, Institut für InformatikDie 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
Ansprechpartner: Dr. Harald Störrle, Dr. Alexander Knapp, Florian Hacklinger.
 Liste aller Projekte
 
  Liste aller Projekte 
   Lehrstuhl
 
  Lehrstuhl 
   Institut
 
  Institut 
   Universität
 
  Universität