The plugin is developed for the FMT group at the university. It is an extension to VS Code allowing users to use the VerCors tool inside the VSCode IDE. The plugin implements standard IDE features for the VerCors language like syntax highlighting, autocompletion, and error highlighting, as well as bringing command line options into the IDE itself so that they're easy to work with.
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.
The plugin is developed for the FMT group at the university. It is an extension to VS Code allowing users to use the VerCors tool inside the VSCode IDE. The plugin implements standard IDE features for the VerCors language like syntax highlighting, autocompletion, and error highlighting, as well as bringing command line options into the IDE itself so that they're easy to work with.
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.