Links

Project Creation

To create a project, you can either:
  • select the menu Atelier B / New / Project
  • use the shortcut Ctrl+Shift+P
  • click on the yellow + on the toolbar
The 2-step project creation wizard show up.
First step of a project creation
Leave wokspace as local (default). Type in a project name. Select a project type: either software development or system modelling.
Click Next than click Finish (no need to modify default parameters).
The project database contains the files used for the various modelling and proof activities. The translation directory contains the source code generated from the B models.
Finally the project is created, named first, and empty.