TU Wien Informatics

„Best Paper“-Award für gemeinsames Paper der Arbeitsbereiche BIG, DBAI und KBS

  • 2014-11-06
  • Award
  • Research

Die Business Informatics Group (BIG), Database and Artificial Intelligence Group (DBAI) und Knowledge-Based Systems Group (KBS) freuen sich über den Preis

Das ausgezeichnete Paper „A SAT-based Debugging Tool for State Machines and Sequence Diagrams“ von Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl und Magdalena Widl entstand aus einer institutsübergreifenden Kollaboration, in der logik-basierte Methoden für die Konsistenzprüfung von Softwaremodellen eingesetzt wurden. Das Ergebnis dieser Arbeit war eine neue SAT-basierte Technik zur Konsistenzprüfung und dessen Integration in einen graphischen Modellierungseditor, der eine benutzerfreundliche Erstellung und Überprüfung der Softwaremodelle erlaubt.

Diese Arbeit illustriert auf eindrucksvolle Weise, wie die Zusammenarbeit von unterschiedlichen Arbeitsbereichen der Informatik, die an unterschiedlichen Problemstellungen und mit unterschiedlichen Methoden arbeiten, zu neuen, innovativen Ansätzen führen kann, was durch die internationale Scientific Community mit dem Best-Paper Award entsprechend gewürdigt wurde.

Links

Note: This is one of the thousands of items we imported from the old website. We’re in the process of reviewing each and every one, but if you notice something strange about this particular one, please let us know. — Thanks!