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

Formal Methods and Object Technology

Formal Methods and Object Technology

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

Rationale Software engineering aims to develop software by using approaches which en able large and complex program suites to be developed in a systematic way. However, it is well known that it is difficult to obtain the level of assurance of correctness required for safety critical software using old fashioned program ming techniques. The level of safety required becomes particularly high in software which is to function without a break for long periods of time, since the software cannot be restarted and errors can accumulate. Consequently programming for mission critical systems, for example, needs to address the requirements of correctness with particular care. In the search for techniques for making software cheaper and more reliable, two important but largely independent influences have been visible in recent years. These are: Object Technology Formal Methods First, it has become evident that objects are, and will remain an important concept in software. Experimental languages of the 1970's introduced various concepts of package, cluster, module, etc. giving concrete expression to the importance of modularity and encapsulation, the construction of software com ponents hiding their state representations and algorithmic mechanisms from users, exporting only those features (mainly the procedure calling mechanisms) which were needed in order to use the objects. This gives the software com ponents a level of abstraction, separating the view of what a module does for the system from the details of how it does them.

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

Single Product Purchase

$84.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
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

Biology of Antibiotics

$54.99

Innovation Network Functionality

$54.99

Call Center-Steuerung

$39.99

Netzbasierte Anstze zur natrlichsprachlichen Informationsverarbeitung

$37.99

NATO and the Gulf Countries

$119.99

Fine- and Coarse-Grain Reconfigurable Computing

$109.99

The Romantic Syndrome

$54.99

Polarization, Alignment, and Orientation in Atomic Collisions

$179.99

Pluralism in the Soviet Union

$44.99

Optimization and Applicability of Bioprocesses

$169.99

American Foreign Policy Towards the Colonels' Greece

$79.99

Demenz in Medien, Zivilgesellschaft und Familie

$69.99

American Nightmare

$39.99

Wired/Wireless Internet Communications

$54.99

Otto Loewi Ein Lebensbild in Dokumenten

$59.99

Fundamentals of Food Process Engineering

$79.99

Violent Women in Contemporary Theatres

$84.99

Childrens Creative Inquiry in STEM

$119.00

Molecular Aspects of Membrane Phenomena

$54.99

Wings of Fire: Darkness of Dragons (#10)

$6.74

Bone #5: Rock Jaw (Hardcover)

$20.24

Water, Fire, Food: Treat Water, Build a Fire in the Rain, Find Food in the Wild (A True Book: Survival Skills)

$5.99

Physik fr technische Berufe

$39.99

Panel Data

$109.99

A Guide for Women in Religion, Revised Edition

$54.99

Nonlinear Laser Chemistry

$84.99

Computational Intelligence Systems in Industrial Engineering

$169.00

The Student Book 197980

$54.99

Anthropocene Poetry

$139.99

Minimally Invasive Surgical Oncology

$189.00

To Grasp the Essence of Life

$169.99

Morphology of Hypothalamus and Its Connections

$109.99

Issues in Upper Secondary Science Education

$39.99

Kosten- und Leistungsrechnung: Instrumente, Anwendung, Auswertung

$24.99

Decay of the Fourier Transform

$119.99

Biomechanical Models for Soft Tissue Simulation

$54.99

The Power of Oral Culture in Education

$159.99

Einflu verschiedener Schmelzen auf die Zerspanbarkeit von Gesenkschmiedestcken

$59.99

Cold Climate HVAC 2018

$219.99

Applications and Usability of Interactive TV

$54.99