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

Modular Specification and Verification of Object-Oriented Programs

Modular Specification and Verification of Object-Oriented Programs

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

Software systems play an increasingly important role in modern societies. Smart cards for personal identi?cation, e-banking, software-controlled me- cal tools, airbags in cars, and autopilots for aircraft control are only some examples that illustrate how everyday life depends on the good behavior of software. Consequently, techniques and methods for the development of hi- quality, dependable software systems are a central research topic in computer science. A fundamental approach to this area is to use formal speci?cation and veri?cation. Speci?cation languages allow one to describe the crucial p- perties of software systems in an abstract, mathematically precise, and implementation-independent way. By formal veri?cation, one can then prove that an implementation really has the desired, speci?ed properties. Although this formal methods approach has been a research topic for more than 30 years, its practical success is still restricted to domains in which devel- ment costs are of minor importance. Two aspects are crucial to widen the application area of formal methods: Formal speci?cation techniques have to be smoothly integrated into the software and program development process. The techniques have to be applicable to reusable software components. This way, the quality gain can be exploited for more than one system, thereby justifying the higher development costs. Starting from these considerations, Peter Muller has developed new te- niques for the formal speci?cation and veri?cation of object-oriented so- ware. The speci?cation techniques are declarative and implementati- independent. They can be used for object-oriented design and programming.

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

Single Product Purchase

$39.99
@ 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
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Geodetic Boundary Value Problems in View of the One Centimeter Geoid

$39.99

Artificial Evolution

$72.00

Nonlinear Coherent Structures in Physics and Biology

$39.99

Laser Speckle and Related Phenomena

$44.99

Variational Analysis and Generalized Differentiation II

$109.00

Advances in Glass Research

$199.99

Aus dem akademischen Leben der Technischen Universitt Wien (2)

$59.99

Intuitionistic Fuzziness and Other Intelligent Theories and Their Applications

$99.00

The Halloween Play

$3.71

Mathematical Modeling in Epidemiology

$54.99

Erich Fromm and the Quest for Solidarity

$54.99

Genetic Mapping and DNA Sequencing

$84.99

Topologies as Techniques for a Post-Critical Rhetoric

$109.00

Advances in Bio-Imaging: From Physics to Signal Understanding Issues

$169.99

100 Predictions for the Baby Boom

$54.99

Diagnosis and Management of Pediatric Nephrolithiasis

$84.99

The European Union as Guardian of Internet Privacy

$199.99

The Google Model

$79.99

Living with Coronary Disease

$34.99

Windows Server-Administration mit PowerShell 5.1

$49.99

Bakteriologie, Serologie und Sterilisation im Apothekenbetriebe

$49.99

Model Tests and Numerical Simulations of Liquefaction and Lateral Spreading

$59.99

The Shop on High Street

$109.99

Monte Carlo and Quasi-Monte Carlo Methods

$169.99

Dependability of Engineering Systems

$109.99

Seventeenth-Century Indivisibles Revisited

$109.99

Beastly Beauty

$9.74

Arztrecht

$79.99

Natural Language Processing and Information Systems

$54.99

PySpark SQL Recipes

$44.99

Krper und Rume

$34.99

Cumulative Sum Charts and Charting for Quality Improvement

$249.99

Computer Information Systems and Industrial Management

$39.99

Care Ethics and Poetry

$69.99

Situational Privacy and Self-Disclosure

$109.99

Contesting Crimmigration in Post-hukou China

$139.99

Software Engineering and Formal Methods

$69.99

Organic and Carbon Gels

$119.99

Mnner - die ewigen Gewalttter?

$49.99

Applied Advanced Analytics

$199.99