From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Maria |
|
Line 1: |
Line 1: |
− | ==Purpose==
| |
− | The Purpose of the Single View Design is to present everything in a single view in Rodin.
| |
| | | |
− | ==Specification==
| |
− | ===The Navigator===
| |
− | The navigator presents all projects and their contents. The users can choose between to ways how the projects will be presented:
| |
− | *A simple structure where all machines and contexts are presented on the same level
| |
− | *A complex structure where the machines and contexts are presented as a tree. Thus dependencies between machines and contexts (like ''refines'' or ''sees') are made visible.
| |
− |
| |
− | [[Category:Work in progress]]
| |
Latest revision as of 20:50, 30 April 2020