The Theory and Practice of Refinement: Approaches to the Formal Development of Large-Scale Software Systems - Hardcover
Synopsis
Updated proceedings of a workshop on the title subject held at York, England, January 1988. Explores the management of complex, large-scale industrial software systems through the use of a hierarchy of specifications, each progressively more detailed. Centers around the major problems of consistency, of proceeding from a high to a low level of specificity, and verification of the proper route. The 11 papers are research oriented, but should be understandable to most practitioners working with formal methods. Topics include interactive and shared systems, process refinement, data reification, program construction, and several case studies. Of interest to software researchers and those wishing to apply refinement techniques to an industrial situation. No index. Annotation copyright Book News, Inc. Portland, Or.
"synopsis" may belong to another edition of this title.
Search results for The Theory and Practice of Refinement: Approaches to...
Stock Image
The Theory and Practice of Refinement: Approaches to the Formal Development of Large-Scale Software Systems
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Hardcover. Condition: Très bon. Ancien livre de bibliothèque avec équipements. Couverture différente. Edition 1989. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Edition 1989. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # G-128-819