{"id":342,"date":"2013-03-19T14:29:03","date_gmt":"2013-03-19T14:29:03","guid":{"rendered":"http:\/\/mevss.jku.at\/?p=342"},"modified":"2013-03-19T14:30:19","modified_gmt":"2013-03-19T14:30:19","slug":"computer-science-colloqium-prof-ina-schafer-tu-braunschweig-april-22-2013-1500","status":"publish","type":"post","link":"http:\/\/mevss.jku.at\/?p=342","title":{"rendered":"Computer Science Colloqium &#8212; Prof. Ina Sch\u00e4fer, TU Braunschweig &#8212; April 22, 2013, 15:00"},"content":{"rendered":"<p>Im Rahmen des Informatik-Kolloquiums, das von den Instituten des Fachbereichs Informatik, der \u00d6sterreichischen Gesellschaft f\u00fcr Informatik (\u00d6GI), der Arbeitsgemeinschaft f\u00fcr Datenverarbeitung (ADV) sowie der \u00d6sterreichischen Computergesellschaft (OCG) abgehalten wird, spricht<\/p>\n<p><strong>Prof. Dr.-Ing. Ina Schaefer<\/strong> (Technische Universit\u00e4t Braunschweig) \u00fcber das Thema:<\/p>\n<p><strong>Delta-orientierte Entwicklung, Analyse und Test von Softwareproduktlinien<\/strong><\/p>\n<p>Zeit: Mon 22.4.2013, 15:00, 60 Minuten<br \/>\nOrt: MT 128 (Science Park 1)<\/p>\n<p>Eine Softwareproduktlinie ist eine Menge von Softwaresystemen mit wohldefinierten Gemeinsamkeiten und Unterschieden. Um die Zeit bis zur Markteinf\u00fchrung zu reduzieren, werden diese Systeme durch Wiederverwendung von gemeinsamen Artefakten entwickelt. Dabei m\u00fcssen die Grundartefakte so strukturiert werden, dass konkrete Systeme m\u00f6glichst automatisch erzeugt werden k\u00f6nnen. Au\u00dferdem muss die Korrektheit der abgeleiteten Systeme effizient sichergestellt werden, ohne jedes System von Grund auf neu zu testen oder zu analysieren. Der Vortrag fokussiert auf die Delta-orientierte Modellierung von Softwareproduktlinien. Eine Produktlinie wird durch ein Kernprodukt und eine Menge von Produktdeltas beschrieben. Produktdeltas ver\u00e4ndern das Kernprodukt, um weitere Produktvarianten zu realisieren. Auf Basis dieser Modellierungstechnik wird ein durchgehender Entwicklungsprozess f\u00fcr variantenreiche Systeme vorgestellt. Au\u00dferdem wird diskutiert wie Delta-Modellierung die effiziente Analyse, sowie das effiziente Testen der erstellten Systemvarianten erm\u00f6glicht.<\/p>\n<p><em>Vortragende:<\/em><\/p>\n<p>Prof. Dr.-Ing. Ina Schaefer leitet seit April 2012 das Institut f\u00fcr Softwaretechnik und Fahrzeuginformatik an der Technischen Uniersit\u00e4t Braunschweig. Sie promovierte in 2008 an der Technischen Universit\u00e4t Kaiserslautern und war von 2010-2011 Postdoc an der Chalmers University, G\u00f6teborg, Schweden. Ihre Forschungsinteressen sind die modulare Modellierung und Implementierung von variantenreichen Softwaresystemen, sowie effiziente Qualit\u00e4tssicherungsverfahren f\u00fcr Softwarevarianten und -versionen. Sie initiierte die Workshopreihe &#8220;Formal Methods for Software Product Line Engineering&#8221; und war Workshop Chair bei der SPLC 2010. Dar\u00fcberhinaus ist sie Co-Autorin von mehr als 40 Fachpublikationen in einschl\u00e4gigen Fachzeitschriften und Konferenzb\u00e4nden.<\/p>\n<p><em>Einladender:<\/em><\/p>\n<p>Dr. Rick Rabiser<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Im Rahmen des Informatik-Kolloquiums, das von den Instituten des Fachbereichs Informatik, der \u00d6sterreichischen Gesellschaft f\u00fcr Informatik (\u00d6GI), der Arbeitsgemeinschaft f\u00fcr Datenverarbeitung (ADV) sowie der \u00d6sterreichischen Computergesellschaft (OCG) abgehalten wird, spricht Prof. Dr.-Ing. Ina Schaefer (Technische Universit\u00e4t Braunschweig) \u00fcber das Thema: Delta-orientierte Entwicklung, Analyse und Test von Softwareproduktlinien Zeit: Mon 22.4.2013, 15:00, 60 Minuten Ort: MT &hellip; <a href=\"http:\/\/mevss.jku.at\/?p=342\" class=\"more-link\">Continue reading <span class=\"screen-reader-text\">Computer Science Colloqium &#8212; Prof. Ina Sch\u00e4fer, TU Braunschweig &#8212; April 22, 2013, 15:00<\/span> <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[1],"tags":[],"_links":{"self":[{"href":"http:\/\/mevss.jku.at\/index.php?rest_route=\/wp\/v2\/posts\/342"}],"collection":[{"href":"http:\/\/mevss.jku.at\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/mevss.jku.at\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/mevss.jku.at\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/mevss.jku.at\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=342"}],"version-history":[{"count":3,"href":"http:\/\/mevss.jku.at\/index.php?rest_route=\/wp\/v2\/posts\/342\/revisions"}],"predecessor-version":[{"id":345,"href":"http:\/\/mevss.jku.at\/index.php?rest_route=\/wp\/v2\/posts\/342\/revisions\/345"}],"wp:attachment":[{"href":"http:\/\/mevss.jku.at\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=342"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/mevss.jku.at\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=342"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/mevss.jku.at\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=342"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}