The Java Modeling Language (JML) is a specification language that is used to specify intended behavior of Java programs. This project aims to allow JML to be reintroduced to Software Systems by creating an easy-to-use plugin for IntelliJ IDEA that provides support for modern Java versions. Features such as syntax, semantic, and type checking, as well as syntax highlighting and code completion are provided to aid students in writing JML specifications in a convenient manner.
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 Java Modeling Language (JML) is a specification language that is used to specify intended behavior of Java programs. This project aims to allow JML to be reintroduced to Software Systems by creating an easy-to-use plugin for IntelliJ IDEA that provides support for modern Java versions. Features such as syntax, semantic, and type checking, as well as syntax highlighting and code completion are provided to aid students in writing JML specifications in a convenient manner.
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.