𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Refinement and Development of Programs from Relational Specifications

✍ Scribed by Wolfram Kahl

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
357 KB
Volume
44
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

✦ Synopsis

These tutorial notes present an overview of specification and refinement concepts and methods that are based on relations.

πŸ“œ SIMILAR VOLUMES

Refactoring in Maintenance and Developme
Refactoring in Maintenance and Development of Z Specifications and Proofs
✍ Susan Stepney; Fiona Polack; Ian Toyn πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 171 KB

Once you have proved your refinement correct, that is not the end. Real products, and their accompanying specifications, develop over time, with new improved versions having added functionality. There are new maintenance issues that arise when altering and upgrading pre-existing large specifications

Development of specifications for labell
Development of specifications for labelled mucleotides and related compounds, specific activity measurements dy mass spectrometry
✍ Gerald Goldstein; W. T. Rainey πŸ“‚ Article πŸ“… 1973 πŸ› John Wiley and Sons 🌐 French βš– 316 KB

## Abstract The National Academy of Science‐National Research Council Committee on Specifications and Criteria for Biochemical Compounds is considering the problems involved in preparing specifications for labelled biochemicals. The Subcommittee on Nucleotides and Related Compounds has examined met