We developed an Integrated Development Environment (IDE) extension for the Modest Toolset. Modest is a modelling language that supports the modelling and verification of probabilistic, timed, and hybrid systems: timed automata, Markov chains and decision processes, stochastic hybrid systems, etc. The developed extension will make it easier to work with the Modest Toolset. Like other IDE extensions, it will realise features such as syntax highlighting, brace matching, auto-completion, automatic indentation, and error highlighting when creating models, as well as a visual way to interact with the tools and work with their output. The developed product consists of a language server and a Visual Studio Code (VSC) extension.
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.
View the full design report for this project.
We developed an Integrated Development Environment (IDE) extension for the Modest Toolset. Modest is a modelling language that supports the modelling and verification of probabilistic, timed, and hybrid systems: timed automata, Markov chains and decision processes, stochastic hybrid systems, etc. The developed extension will make it easier to work with the Modest Toolset. Like other IDE extensions, it will realise features such as syntax highlighting, brace matching, auto-completion, automatic indentation, and error highlighting when creating models, as well as a visual way to interact with the tools and work with their output. The developed product consists of a language server and a Visual Studio Code (VSC) extension.
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.
View the full design report for this project.