• # Z-Tree

• Referenced in 558 articles [sw11707]
• Z-Tree: Zurich Toolbox for ready-made economic experiments. Zurich Toolbox for Readymade Economic Experiments ... z-Tree is a widely used software package for developing and carrying out economic experiments ... programming experience is not necessary, though useful. z-Tree is flexible both with respect...
• # Z

• Referenced in 274 articles [sw10291]
• Using Z. Specification, refinement, and proof. The book is an in-depth introduction ... specification language $Z$. It is primarily directed to the user; the background theory is -- with ... necessary. With respect to the many $Z$ books already on the market, a significant novel ... feature is the integration of $Z$ with the refinement calculus and data refinement. The overall...
• # Algorithm 644

• Referenced in 52 articles [sw09113]
• subroutines for Computing Bessel functions Hv(1)(z ... z), Iv(z), Jv(z), Kv(z), Yv(z) and Airy functions ... z), Ai′(z), Bi(z), Bi′(z) for ordersv≥0 and complex ... z in −&pgr;z≤&pgr;. Eight callable subroutines and their double-precision counterparts...
• # ProofPower

• Referenced in 56 articles [sw06339]
• provides support for specification and proof in Z using a semantic embedding of Z into ... tool supporting refinement of Z to the SPARK subset of Ada is also available...
• # Z/EVES

• Referenced in 43 articles [sw10262]
• Z/EVES Eclipse prover IDE. Community Z Tools provide an Eclipse-based IDE and integration with ... theorem prover. This extends the development of Z specifications in CZT with theorem proving...
• # Alcoa

• Referenced in 27 articles [sw09481]
• Alloy, is a new notation based on Z. Its development was motivated by the need ... more amenable to automatic analysis. Like Z, Alloy supports the description of systems whose state...
• # mixfdr

• Referenced in 17 articles [sw06074]
• precise, suppose you have many normally distributed z’s, and each z[i] has mean ... will estimate delta[i] based on the z’s (effect sizes), P(delta ... z[i]) (local false discovery rates) and P(delta ... z[i]|>z) (tail area false discovery rates...
• # ZRC

• Referenced in 14 articles [sw21827]
• Refinement Calculus for Z. The fact that Z is a specification language only, with ... Morgan’s work that incorporates the Z notation and follows its style and conventions. This ... work builds upon existing refinement techniques for Z, but distinguishes itself mainly in that ... explain how programs can be derived from Z specifications using ZRC. We present...