Create an Example Project
This task describes how to create an example project. This is a normal
java project that is filled with predefined content.
The following examples exists for the KeY data source:
Execute the following steps to create an example project:
- Open New Wizard.
- Select "Examples/Visual DbC/Banking Example".
- Select "Next >".
- Define a project name like "BankingExample".
- Select "Finish". The project is now created and filled with the example content. An example DbC diagram is also opened.