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

Anzeige der Dokumente 1-8 von 8

«
»

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

GI-Arbeitskreis, Langlebige Software-Systeme
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
Evaluation von Sprachen zur Spezifikation von Transformationen in modellbasierten Entwicklungsprozessen von Benutzungsschnittstellen

Einig, Daniel; Müller, Klaus
FG RE: Ergebnis der Wahl des Leitungsgremiums

Partsch, H.
Integration von Model-Driven Development und formaler Verifikation in den Softwareentwicklungsprozess - eine Fallstudie mit einem 3D-Tracking-System

Ammann, Christian
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

«
»