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

ERTMSFormalSpecs assessment by Assessor 2 / Language / documented #39

Closed stanpinteTheSignallingCompany closed 10 years ago

stanpinteTheSignallingCompany commented 11 years ago

Justify why 2 instead of 3 for documented, as ERTMSFormalSpecs is 100% documented (every feature, how to use, and 100% of language and semantics).

MariellePetitDoche commented 11 years ago

See https://github.com/openETCS/model-evaluation/issues/30

Language is documented, but what and how to use it is not documented. This should be completed.

stanpinteTheSignallingCompany commented 10 years ago

Dear Marielle,

Can you please provide a reason to close this issue?

Very kind regards,

Stan

BerndHekele commented 10 years ago

Dear Stan, 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 you still need place for a discussion the right place is the WP7 slot of the review meeting in Munich respectively the PCC. br Bernd