search

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

how to handle spec issues #24

Closed BenjaminBeichler closed 10 years ago

BenjaminBeichler commented 11 years ago

Dear all,

as my last question mentioned a possible spec issue, my question here is, how to handle such things. How should be the process to get information from domain specialists?

I know this is only a evaluation benchmark, but also at this point its annoying to have wrong behavior of the models.

MariellePetitDoche commented 11 years ago

You can put your question on this wiki page : https://github.com/openETCS/model-evaluation/wiki/Open-Question-for-Modeling-Benchmark

BerndHekele commented 10 years ago

T7.1 is about to being closed. Final activity is closing issues in this repository. Activities have been ended 6 months ago. Decisions are made for the openETCS toolchain. If there is stil an aspect open for this issue, please, use the WP7 review meeting for a discussion.

BR Bernd