Faculty of Computer Science

Research Group Theoretical Computer Science

Oberseminar: Heterogene formale Methoden

Date: 2018, June 20
Author: Günther, Stephan
Title: Redesigning the Hets RESTful Interface


This follow up talk to last week's presentation/demonstration of Hets' RESTful interface will start with a short recap of the general structure and capabilities of the interface. This will be followed with a summary of the problems inherent in the current design. After this, a few suggestions on how to solve some of these problems will be presented. The talk will finish with a discussion of these suggestions and other ways of redesigning the RESTfull interface in order to solve problems inherent in the current design.

Back to the Oberseminar web page