Autor*innen mit den meisten Dokumenten
Auflistung nach:
Neueste Veröffentlichungen
- ZeitschriftenartikelAufruf zur Einreichung von Beiträgen: 31. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV), 03. und 04. Februar 2011, Paderborn(Softwaretechnik-Trends Band 30, Heft 4, 2010) Winter, Mario; Hehn, Uwe; Wagner, Peter; Eisenbach, Hans-Josef
- ZeitschriftenartikelSOFTWARE ENGINEERING 2011, Karlsruhe, 21. – 25. Februar 2011(Softwaretechnik-Trends Band 30, Heft 4, 2010) KIT
- Zeitschriftenartikel3. Workshop „Design For Future – Langlebige Softwaresysteme“ - Software Evolution meets Lifecycle Management(Softwaretechnik-Trends Band 30, Heft 4, 2010) GI-Arbeitskreis, Langlebige Software-Systeme
- ZeitschriftenartikelEvaluation von Sprachen zur Spezifikation von Transformationen in modellbasierten Entwicklungsprozessen von Benutzungsschnittstellen(Softwaretechnik-Trends Band 30, Heft 4, 2010) Einig, Daniel; Müller, KlausIn diesem Beitrag werden verschiedene Transformationsprozesse miteinander verglichen und ihre Anwendbarkeit während der Entwicklung von modellbasierten Benutzungsschnittstellen bewertet. Dazu dient ein Kriterienkatalog, der auf den Einsatz der Transformationsansätze in der modellbasierten Entwicklung von Benutzungsschnittstellen angepasst wird. Im Rahmen dieses Beitrages werden drei verschiedene Ansätze analysiert und evaluiert. QVT stellt einen hybriden Ansatz dar und besteht aus den beiden deklarativen Sprachen QVT Relations und QVT Core sowie der imperativen Sprache QVT Operational Mappings. Zur Durchführung der Beispieltransformation wurde mit SmartQVT eine Implementierung von QVT Operational Mappings eingesetzt. ATL stellt ebenfalls einen hybriden Ansatz dar, der in einigen Bereichen eine hohe Ähnlichkeit zu QVT besitzt. Ähnlich wie QVT leistet ATL für die Modelltransformation gute Dienste. XSLT, ebenfalls ein hybrider Ansatz, zeigt seine Stärken klar bei der Verarbeitung von XMLDokumenten. Der Einsatz zur Modelltransformation erfolgt über den „Umweg“ der Umwandlung des Modells in eine XML-Repräsentation.
- ZeitschriftenartikelSE FIT – Forum der Informatik-Transferinstitute(Softwaretechnik-Trends Band 30, Heft 4, 2010) Sauer, Stefan; Engels, Gregor
- ZeitschriftenartikelKonferenzbericht zur IWSM/MetriKon und MENSURA 2010 vom 10. - 12. November 2010 in Stuttgart(Softwaretechnik-Trends Band 30, Heft 4, 2010) Dumke, Reiner
- ZeitschriftenartikelIntegration von Model-Driven Development und formaler Verifikation in den Softwareentwicklungsprozess - eine Fallstudie mit einem 3D-Tracking-System(Softwaretechnik-Trends Band 30, Heft 4, 2010) Ammann, ChristianBei modellgetriebener Softwareentwicklung werden Modelle entwickelt und aus diesen ausführbare Software generiert. Durch die Verknüpfung mit formaler Verifikation können Fehler in den Modellen gefunden und so der Ansatz der modellgetriebenen Softwareentwicklung verbessert werden. Diese Arbeit untersucht anhand von zwei Fallstudien, wie aktuelle Forschungsergebnisse im Bereich der Modellierung und Verifikation auf Verhaltensebene in den Softwareentwicklungsprozess integriert werden können.
- ZeitschriftenartikelFG RE: Ergebnis der Wahl des Leitungsgremiums(Softwaretechnik-Trends Band 30, Heft 4, 2010) Partsch, H.