Quote: systematic coding from formal detailed design specifications; mapped Z specifications to code; pre- and post-conditions and invariants as assertions

Quotation Skeleton

In the implementation phase [of BOS], the source code … in a structured way based on the formal … [in Z]. This process was guided by … informally stated rules how to map a line … performed. Pre- and post-conditions and invariants from the … basic pattern that included all functionality for reporting … [p. 203] This way of developing implementations turned out to be straightforward, … for the operational system and additionally 250 kLOC …   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: use one pattern for reporting errors and recovering failed processes

Quote: over half of system for simulators, test systems, and supporting software

Related Topics

Topic: transformation of programs (27 items)
Topic: safety critical systems (32 items)
Group: exception handling   (12 topics, 305 quotes)