3
$\begingroup$

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?

$\endgroup$
3
  • 1
    $\begingroup$ Try here and see what you get ;-) $\endgroup$ Oct 7, 2020 at 12:47
  • $\begingroup$ May be, you can look in the web site of the Z user group (zuser.org). $\endgroup$ Oct 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 Aad
    Oct 9, 2020 at 10:09

1 Answer 1

1
$\begingroup$

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:

$\endgroup$
2
  • $\begingroup$ The Google group is not active in years. The others I need to check. $\endgroup$
    – Evan Aad
    Mar 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

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.