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?

Improve this question
$\endgroup$
3
  • 1
    $\begingroup$ Try here and see what you get ;-) $\endgroup$
    – Musa Al-hassy
    Oct 7, 2020 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, 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

Reset to default
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:

Improve this answer
$\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$
    – Phil Clayton
    Mar 15, 2021 at 12:16

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

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