Download The Way of Z: Practical Programming with Formal Methods by Jonathan Jacky PDF

By Jonathan Jacky

This self-contained educational on Z provides practical case experiences emphasizing safety-critical platforms, with examples drawn from embedded controls, real-time and concurrent programming, special effects, video games, textual content processing, databases, man made intelligence, and object-oriented programming. It motivates using formal equipment and discusses useful concerns relating tips on how to follow them in genuine tasks. It additionally teaches the way to practice formal application derivation and verification to enforce Z necessities in genuine programming languages with examples in C. The e-book contains workouts with suggestions, reference fabrics, and a consultant to extra studying.

Show description

Read or Download The Way of Z: Practical Programming with Formal Methods PDF

Similar programming languages books

Implementing the IBM System Storage San Volume Controller V4.3

This IBM Redbooks ebook is an up to date, exact technical consultant to the IBM procedure garage SAN quantity Controller (SVC), a virtualization equipment answer that maps virtualized volumes obvious to hosts and purposes to actual volumes on garage units.

WordNet: An Electronic Lexical Database

With a preface via George Miller WordNet, an digital lexical database, is taken into account to be an important source to be had to researchers in computational linguistics, textual content research, and lots of comparable parts. Its layout is encouraged through present psycholinguistic and computational theories of human lexical reminiscence.

The SIMD Model of Parallel Computation

1. 1 heritage there are numerous paradigmatic statements within the literature claiming that this can be the last decade of parallel computation. loads of examine is being de­ voted to constructing architectures and algorithms for parallel machines with hundreds of thousands, or perhaps thousands, of processors. Such vastly parallel pcs were made possible via advances in VLSI (very huge scale integration) expertise.

Programming Multicore and Many-core Computing Systems

Programming multi-core and many-core computing structures Sabri Pllana, Linnaeus college, Sweden Fatos Xhafa, Technical college of Catalonia, Spain offers state of the art equipment for programming multi-core and many-core platforms The ebook includes a variety of twenty chapters masking: basic strategies and algorithms; programming ways; methodologies and frameworks; scheduling and administration; trying out and evaluate methodologies; and case reports for programming multi-core and many-core platforms.

Extra resources for The Way of Z: Practical Programming with Formal Methods

Example text

Parnas [1995] explains the difference between a description, a model, and a specification. Dan Craigen, Susan Gerhart, and Ted Ralston have done the most thorough survey of formal methods use to date [1993]; it has been summarized in several conference papers and journal articles [Craigen, Gerhart, and Ralston, 1995; Gerhart, Craigen, and Ralston, 1994a; Gerhart, Craigen, and Ralston, 1994b]. Other reviews appear in the paper by Jonathan Bowen and Victoria Stavridou [1993] and the report by John Rushby [1993].

As a result, "Programmers can Chris Peters of Microsoft. In the same interview, Peters said of his group's spreadsheet program, "I believe that the product I'm working on now is far more complex than a 747 (jumbo jet airliner)" [WGBH, 1992a]. 2. " 2 Testing Programs are bound to contain errors, because we can never run enough tests to uncover all the mistakes. "You don't have the precision or the reliability to say, well, having built this, we think it works according to the specifications.

As users, we find that many programs are a poor match to our real needs and frustrate us with unrepaired defects. As programmers, our disappointment is especially keen. We expect tofindthe joy of creation in our work and the satisfaction of providing something useful. But all too often our expectations are dashed, our joy is spoiled, and our job becomes a dispiriting slog, churning out shapeless code and patching up bugs. What's wrong? Is there something inherent in the nature of software that makes our troubles as inevitable as bad weather?

Download PDF sample

Rated 4.57 of 5 – based on 42 votes