Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Numbering #650

CThuleHansen opened this issue Oct 2, 2019 · 1 comment


Copy link

commented Oct 2, 2019

FMI 3: Since this is a technical standard I suggest less bulletins and more numberings in general.
This was also mentioned by @klausschuch on fmi design meeting oct 1 lund


This comment has been minimized.

Copy link

commented Oct 4, 2019

Yes, I absolutely agree with this. When preparing VDMCheck, it was difficult to concisely reference where in the FMI standard each particular "rule" was defined. Sometimes one section covers several pages without any sub-section numbering or table/figure numbers, so it is difficult to give a simple location, other than by saying, "the second table half way down page 123".

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
None yet
2 participants
You can’t perform that action at this time.