This project is a webapp that facilitates parity game algorithm studies. In particular, the project helps parity game researchers to edit the parity game in an intuitive way and visualizes the dynamics of algorithms reflected on a graph, and a few peripheral functionalities such as import/export from/to standard parity game format.
The CS Design Project module is one of the two final modules of the Bachelor. In the design component of this module, students show that they master the entire design trajectory, from the first informal specification of requirements by a client to the delivery and presentation of a well-documented working product. Projects are submitted by clients from either inside or outside the University. Students perform the project in groups of 3-5 students under the supervision of a teacher from the Department of Computer Science. The supervisor is also the one who assesses the process and products of the group. Project deliverables include a project proposal, a design report, a presentation and a poster.
This video illustrates how the researcher can interact with the UI of the product.
View the full design report for this project.
This project is a webapp that facilitates parity game algorithm studies. In particular, the project helps parity game researchers to edit the parity game in an intuitive way and visualizes the dynamics of algorithms reflected on a graph, and a few peripheral functionalities such as import/export from/to standard parity game format.
The CS Design Project module is one of the two final modules of the Bachelor. In the design component of this module, students show that they master the entire design trajectory, from the first informal specification of requirements by a client to the delivery and presentation of a well-documented working product. Projects are submitted by clients from either inside or outside the University. Students perform the project in groups of 3-5 students under the supervision of a teacher from the Department of Computer Science. The supervisor is also the one who assesses the process and products of the group. Project deliverables include a project proposal, a design report, a presentation and a poster.
This video illustrates how the researcher can interact with the UI of the product.
View the full design report for this project.