Torben Scheffel received an award for the best master degree in computer science in the academic year 2013/14. The award was founded by capgemini. The prize money of 1000 Euro is divided between Torben Scheffel, Matthias Ernst and Christian Wißmach who all achieved the same mark.

Für ihre Veranstaltung "Spezifikation und Modellierung" im Wintersemester 2013/14 wurde Dr. rer. nat. Annette Stümpel der Walter-Dosch-Lehrpreis der Universität zu Lübeck verliehen. Der Lehrpreis wird für hervorragende Lehre in den MINT-Fächern auf Basis der studentischen Evaluationen an eine nichtprofessorale Dozentin bzw. einen nichtprofessoralen Dozent vergeben. Als die Urkunde am 24.

The ISP unit testing tool jUnitRV has been presented by Daniel Thoma at the NASA Formal Methods Symposium at the NASA Ames Research Center in Mountain View, California, USA. jUnitRV is a tool extending the unit testing framework jUnit by runtime verification capabilities.

Subscribe to Front page feed