openETCS / model-evaluation

part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling
13 stars 20 forks source link

Top level in the V-model #61

Closed JanWelvaarts closed 11 years ago

JanWelvaarts commented 11 years ago

At 8-10-13 decision 6 was accepted. In this requirement it is stated that sys-ML will be the top level in the V-model. However the top level specification in the V-model for openETCS shall be the written (prose) specification (SRS analysis and functional descriptions).

JanWelvaarts commented 11 years ago

closed here, opened in "toolchain"