Zum Hauptinhalt springen

Berichte aus den Fachgruppen und Arbeitskreisen

  • FG RE: Ergebnis der Wahl des Leitungsgremiums   PDF

Technische Beiträge

  • C. Ammann: Integration von Model-Driven Development und formaler Verifikation in den Softwareentwicklungsprozess - eine Fallstudie mit einem 3D-Tracking-System   PDF
  • D. Einig, K. Müller, G. Meixner: Evaluation von Sprachen zur Spezifikation von Transformationen in modellbasierten Entwicklungsprozessen von Benutzungsschnittstellen   PDF

Konferenzberichte

  • R. Dumke: Konferenzbericht zur IWSM/MetriKon und MENSURA 2010 vom 10. - 12. November 2010 in Stuttgart   PDF
  • S. Sauer, G. Engels: Bericht über das SE FIT - Forum der Informatik-Transferinstitute   PDF

Konferenzankündigungen

  • 03. - 04. Februar 2011   Paderborn
    Test, Analyse und Verifikation von Software (TAV)   PDF
  • 21. - 25. Februar 2011   Karlsruhe
    Software Engineering 2011 (SE 2011)   PDF
  • 21. - 22. November 2010   Karlsruhe
    Design for Future - Langlebige Softwaresysteme   PDF

Band 30 Heft 4
ISSN 0720-8928