Evaluating the effectiveness of Z: The claims made about CICS and where we go from here

This publication has 8 references indexed in Scilit:

• Mathematical notation in formal specification: too difficult for the masses?
  IEEE Transactions on Software Engineering, 1996
• Case studies for method and tool evaluation
  IEEE Software, 1995
• Seven more myths of formal methods
  IEEE Software, 1995
• Formal methods reality check: industrial usage
  IEEE Transactions on Software Engineering, 1995
• Science and substance: a challenge to software engineers
  IEEE Software, 1994
• Safety-critical systems, formal methods and standards
  Software Engineering Journal, 1993
• A note on the use of Z to specify flowgraph decomposition
  Information and Software Technology, 1988
• Guarded commands, nondeterminacy and formal derivation of programs
  Communications of the ACM, 1975