Auflistung Softwaretechnik-Trends 30(4) - 2010 nach Erscheinungsdatum - Digitale Bibliothek - Gesellschaft für Informatik e.V.

Anzeige der Dokumente 1-8 von 8

«
»

Aufruf zur Einreichung von Beiträgen: 31. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV), 03. und 04. Februar 2011, Paderborn

Winter, Mario; Hehn, Uwe; Wagner, Peter; Eisenbach, Hans-Josef
FG RE: Ergebnis der Wahl des Leitungsgremiums

Partsch, H.
Evaluation von Sprachen zur Spezifikation von Transformationen in modellbasierten Entwicklungsprozessen von Benutzungsschnittstellen

Einig, Daniel; Müller, Klaus
Integration von Model-Driven Development und formaler Verifikation in den Softwareentwicklungsprozess - eine Fallstudie mit einem 3D-Tracking-System

Ammann, Christian
3. Workshop „Design For Future – Langlebige Softwaresysteme“ - Software Evolution meets Lifecycle Management

GI-Arbeitskreis, Langlebige Software-Systeme
Konferenzbericht zur IWSM/MetriKon und MENSURA 2010 vom 10. - 12. November 2010 in Stuttgart

Dumke, Reiner
SE FIT – Forum der Informatik-Transferinstitute

Sauer, Stefan; Engels, Gregor
SOFTWARE ENGINEERING 2011, Karlsruhe, 21. – 25. Februar 2011

KIT

Anzeige der Dokumente 1-8 von 8

«
»