Software Development With Z

Software Development with Z

This book is a highly practical tutorial guide to the Z specification language and its role in software development. The book illustrates how familiar procedures and decisions can be made precise using mathematics. Beginning with a case study, this book is designed to be as self-contained as possible, taking the reader through the basic concepts in logic and set theory formulating precise ideas about software systems, and combines a formal approach with practical examples of its use in software development.

Software Development with Z

Driving Software Quality with Continuous Testing for IBM z/OS Applications

This IBM® Redbooks® publication provides IBM z/OS® development and test organizations with the information to develop and establish agile testing practices for their z/OS applications. It is assumed that readers know about software development, quality assurance, agile development processes, and DevOps. You might think that applying agile testing to z/OS applications is not practical or efficient due to a lack of good tools. In this publication, we hope to dispel that myth by sharing how developers and testers can apply agile testing practices to their z/OS applications and the tools that can help to accelerate their processes. The intended outcome is for z/OS development organizations to compare how they are testing today and determine whether there is an opportunity to transform testing practices and apply new tools to improve quality and gain efficiencies. The target audiences for this publication are organizations that develop z/OS applications, specifically development and quality assurance managers and team leaders that recognize the need for their teams to improve quality and gain efficiency.