The PBnJ tool let you mingle imperative java code and declarative statements (aka specifications) in the same place. This allows developers to write robust and resilient code that automatically “fall-backs” to its intended behavior when things go wrong. For example, when exceptions are thrown or unexpected conditions prevent the program to terminate correctly.
At the current status, the PBnJ tool provides only a manual and console-based interface, but lacks full support at the IDE level.
IDEs implement features such as code completion, code suggestion, syntax checks, and syntax highlighting that improve developers’ productivity and quality of java code.
The Eclipse platform is the “de-facto” standard when it comes to IDE, and it has extensibility core concept: by implementing small plugins the IDE can offer additional features to the programmers. Therefore, we choose Eclipse as our target platform for this project.
The project consists in the design and implementation of a plug-in that enables IDE support for the PBnJ tool.
This job fits nicely into a Praktikum or a Bachelor thesis; nevertheless, it might become a by-product of a regular Master Thesis.
Applicants are required to have good Java programming skills and a basic understanding of the Eclipse platform, and will be advised during the project.
 Falling Back on Executable Specifications