Where can I find an online community specializing in the Z specification language, where I can ask specific questions about the ISO standard for Z?
Looking for an online community specializing in the Z specification language, where I can ask questions
1$\begingroup$ Try here and see what you get ;-) $\endgroup$– Musa Al-hassyOct 7, 2020 at 12:47
$\begingroup$ May be, you can look in the web site of the Z user group (zuser.org). $\endgroup$– Cyriac AntonyOct 9, 2020 at 9:36
$\begingroup$ @CyriacAntony: Thanks. I tried looking there, but the site seems not to have been updated in years. All linked usenet/Google groups are either defunct or have fallen out of use. $\endgroup$– Evan AadOct 9, 2020 at 10:09
There is the comp.specification.z newsgroup, available on Google Groups.
There are some mailing lists:
Additionally, there are mailing lists for tools that support the Z notation. For tools that support ISO Z (or a similar dialect), I doubt anyone would object to a question about the notation itself if the above sources are not useful. For example:
$\begingroup$ The Google group is not active in years. The others I need to check. $\endgroup$– Evan AadMar 14, 2021 at 10:34
$\begingroup$ Did you try posting to comp.specification.z? Many lists appear inactive because there is so little interest in the Z notation. $\endgroup$ Mar 15, 2021 at 12:16