Send the email as required in order to get the licence file
The tool requires Windows! And no virtual machines allowed.
Case study
Description
We will consider an automatic door system similar to the one at the entrance to your favourite mall.
The informal specification is given by the picture in [chronogram].
Depending on the value of some sensor, indicating if someone or nobody is detected, the door shall be open or closed.
Project structure
Create the following packages:
"Library" package is a place where you can add user defined templates to complement the Standard Library.
"Requirements" package is intended as a place to organise your system requirements.
"Test" package is somewhere to define scenarios and tests.
