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

Teil 1 Sexualitt zwischen Phantasie und Realitt Teil 2 Qualittssicherung

$69.99

Manual of Outpatient Cardiology

$64.99

Health Innovation and Social Justice in Brazil

$109.99

Metrics of Sensory Motor Coordination and Integration in Robots and Animals

$109.99

Pulmonary Function

$84.99

Neural Network-Based State Estimation of Nonlinear Systems

$84.99

Creating and Digitizing Language Corpora

$109.99

Von .com zu .profit

$34.99

Improving Economic and Social Cohesion in the European Community

$129.00

Introduction to Shape Optimization

$64.99

Tutorium Elektrodynamik

$39.99

The Nanjing Massacre and Sino-Japanese Relations

$129.99

Japan and Education

$54.99

Leonard Wood and Cuban Independence 18981902

$54.99

The Baghdad Set

$79.99

The Decision to Delist from the Stock Market

$99.99

South Africas Other Whites

$109.99

Dynamical Systems I

$109.99

Allgemeine Betriebswirtschaftslehre

$44.99

Lung Cancer:

$169.00

Freitragende Holzbauten

$89.99

Collaboration in Theatre

$109.99

Role-Playing Games of Japan

$99.99

Surviving Dementia

$54.99

Public Policies and the Japanese Economy

$84.99

Dialogmarketing Perspektiven 2019/2020

$64.99

Family Life in Britain, 16501910

$84.99

The Endless Reconstruction and Modern Disasters

$39.99

Numerical Treatment of the Navier-Stokes Equations

$59.99

Oxydations-Reductions-Potentiale

$59.99

Energetic Characterization of Building Evolution

$129.00

Informal Livelihoods and Governance in South Africa

$59.99

Verbesserung von Geschftsprozessen mit flexiblen Workflow-Management-Systemen 3

$59.99

Intelligenz, Handlungs- und Lebensorientierung

$59.99

Global Finance in the New Century

$109.99

Grundlagen Qualittsmanagement

$29.99

Quantitative Myokardszintigraphie bei Koronaroperationen

$69.99

Transforming Government and Building the Information Society

$84.99

Neo-shamanism and Mental Health

$69.99

Britain, France and the Entente Cordiale Since 1904

$39.99