Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Program Development by Refinement

Program Development by Refinement

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9781852330538
Condition
New
Product Description

The Idea of Program Refinement Programs are complex. They are typically so complex, that they go beyond the full comprehension even of the programmer or team who designed them, with all the consequences this has. How can we cope with such complexity in a satisfactory way? An approach, advocated for a long time, is to separate a concise specification of a program - the "what" - from a possibly involved implementation - the "how". Once a specification is obtained from the set of requirements on the program, there can still be a large gap to an efficient implementation. The development from specification to implementation can then proceed by a succession oflayers, such that each layer is a refinement of the previous one. Design decisions can be introduced in refinement steps one at a time. By this, the refinement steps can be kept small and manageable. Still, the set of all requirements can be far too large to be taken completely into account in the initial specification. Even if they could, they might obscure issues more than clarify them. For example: An information system for stored goods needs to produce an error message on il legal input. Yet, the exact wording - and even the language - of those messages is irrelevant for an understanding of the essence of the system. A banking application interacts with customers with a graphical interface. Yet the specification of the graphical layout is secondary compared to the specification of the possible transactions.

Available Colors
Available Sizes
1 Offer Price Range: $169.00 - $169.00
BEST PRICE

Single Product Purchase

$169.00
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$169.00 $169.00

$169.00
See Site In stock Visit Store

Similar Products

Postwar Academic Fiction

$84.99

Community Seed Production Sustainability in Rice-Wheat Farming

$109.99

Proceedings of 4th International Conference on Frontiers in Computing and Systems

$249.99

On Replacement

$109.00

Evolution

$0.00

Wetlands of the Interior Southeastern United States

$39.99

Control Systems with Actuator Saturation

$109.99

Manual of Travel Medicine

$84.99

Praxis des Bleichens und Frbens von Textilien

$49.99

Integrated Project Management Sourcebook

$249.99

Updates in Colo-Proctology

$109.99

Hilbert Schemes of Zero-Dimensional Subschemes of Smooth Varieties

$39.99

Managing and Modelling Complex Projects

$169.99

A Rossetti Family Chronology

$84.99

Metaphors in International Relations Theory

$109.99

The Politics of Marketising Asia

$54.99

Membrane Computing

$54.99

Risk Assessment and Financial Regulation in Emerging Markets' Banking

$199.99

English One Tongue, Many Voices

$109.99

A School in Africa

$109.99

Acoustic and Electromagnetic Equations

$99.99

Gender, Family and Sexuality: The Private Sphere in Italy, 1860-1945

$54.99

Bacterial Genomes

$169.00

Light Scattering and Photon Correlation Spectroscopy

$259.00

Approaches to Fundamental Physics

$109.99

Lsungsbuch Speicherprogrammierte Steuerungen SPS

$44.99

Plant Gravitropism

$89.00

Designing for User Engagement

$14.99

Smart Technologies in Urban Engineering

$199.99

Sport fr Manager

$39.99

Privat-Haftpflichtversicherung

$19.99

Supraleiter-Elektronik

$24.99

Pfadabhngigkeit in Geschftsbeziehungen

$74.99

Informationsmanagement in Universittsklinika

$44.99

Integrated Business Planning

$79.99

Cross-border Shadow Education and Critical Pedagogy

$139.99

Active Implants and Scaffolds for Tissue Regeneration

$129.00

Complications of Temporomandibular Joint Surgery

$159.00

Principles of Molecular Rheumatology

$219.99

Mathematische Untersuchungen zur Schalentheorie

$59.99