This is an invitation to the "UHH Informatik Kolloquium".
Dies ist eine Einladung zum "UHH Informatik Kolloquium".
https://www.inf.uni-hamburg.de/de/home/news/kolloquium/wise14-15.html
SPEAKER/SPRECHER:
Prof. Dr. Ralf Laue
Westsächsische Hochschule Zwickau
Fakultät Physikalische Technik/Informatik
http://www.fh-zwickau.de/index.php?id=7985
DATE/DATUM:
Mo, 19.01.2015, 17:15
PLACE/ORT:
Informatikum, D-125
http://www.inf.uni-hamburg.de/de/service/location
------------------------------------------------------------------
TOPIC: "Pragmatic Approaches for Quality Assesment of Models"
TITEL: "Pragmatische Ansätze zur Qualitätsüberprüfung von Modellen"
------------------------------------------------------------------
This talk will be held in German
Dieser Vortrag wird auf Deutsch gehalten
ABSTRACT/ZUSAMMENFASSUNG:
Wir Wissenschaftler können mit Model-Checkern, temporaler Logik,
Petrinetzen und anderen formalen Methoden Modelle auf Korrektheit prüfen.
Von Praktikern ohne Ausbildung in formalen Verifikationsmethoden werden
entsprechende Werkzeuge jedoch kaum eingesetzt. Der Vortrag diskutiert,
wie die Brücke zu "normalen" Anwendern geschlagen werden kann. Neben
eigenen Ansätzen (Spezifikationsmuster für Echtzeitanforderungen und
musterbasierte statische Analyse für Geschäftsprozessmodelle) soll der
Vortrag Anregungen zum Transfer formaler Methoden in Richtung der
Endanwender vorstellen.
BIO/LEBENSLAUF:
Prof. Dr. Ralf Laue, geb. 1968, nach einem Studium der Mathematik
beschäftigt als Systemprogrammierer im Rechenzentrum der Deutschen
Rentenversicherung (1994-99), später Abteilungsleiter Systemadministration
bei der Virbus AG, einem auf Zahlungsdienstleistungen spezialisierten
Internetunternehmen (1999-2003). Von 2003-2009 Promotion im Fach
Informatik an der Universität Leipzig, 2011 Berufung zum Professor für
Software Engineering an der Westsächsischen Hochschule Zwickau
Forschungsinteressen: Geschäftsprozessmodellierung, Qualität und
Verständlichkeit graphischer Modelle.
CONTACT/KONTAKT:
Prof. Dr. Nüttgens, BWL Fakultät/Wirtschaftsinformatik, Universität
Hamburg Tel. 040-42838-2792
_______________________________________________
Kolloquium mailing list
Kolloquium@mailhost.informatik.uni-hamburg.de
https://mailhost.informatik.uni-hamburg.de/mailman/listinfo/kolloquium
_______________________________________________
HiForum-Verteiler mailing list
HiForum-Verteiler@mailhost.informatik.uni-hamburg.de
https://mailhost.informatik.uni-hamburg.de/mailman/listinfo/hiforum-verteiler