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?

  • 1
    $\begingroup$ Try here and see what you get ;-) $\endgroup$ – Musa Al-hassy Oct 7 '20 at 12:47
  • $\begingroup$ May be, you can look in the web site of the Z user group (zuser.org). $\endgroup$ – Cyriac Antony Oct 9 '20 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 Aad Oct 9 '20 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 Aad Mar 14 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$ – Phil Clayton Mar 15 at 12:16

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.