Help for TL specifications
#3 Updated by Anonymous over 8 years ago
- Assignee changed from Anonymous to Anonymous
Ah, found it but it is not included. I included it.
1) Anyway, is the actual sorting of the help files OK? I think, MSC, state and modes and maybe TLS should be next to each other or we sort everything alphabetically.
2) Why is the caption NOT called Temporal Logics Specification but something with patterns? This is confusing. I would prefer a coherent wording, using the same name (Temporal Logic Specification) everywhere and add a section at the beginning about what it has to do with patterns.
3) The first phrase is something like "If you use 'TLS', you are able to use 'tls'"...
I review it again after the above mentioned changes, OK?