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

The Use of Formal Specification of Software

The Use of Formal Specification of Software

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

The notion that program design is an engineering task alleviating the software crisis has been with us for about a decade. With the recognized advantages of obeying to certain software design disciplines, we are approaching the era of enforced system development standards which will ensure that end products will meet rigorous design requirements. On the one hand, advances in system architecture fUrther the application of system development standards to software and firmware design and production. On the other hand, the growth in complexity of future system architectures, in particular distri buted systems with their special problems of cooperation and parallelism, necessitate the use of rigorous specification and design techniques. In addition to hampering the design process, the lack of engineering techniques hinders research. In many cases, trial designs that are presented in abstract and informal terms do not force the de signer to face the full problem spectrum, and therefore may not sufficiently provide insight into the design process. To prepare for the forthcoming discipline and to provide a snapshot view of recent advances in software and firmware engineering, we organized in June of 1979 a seminar entitled: "The Use of Formal Specification of Software and Firmware". The seminar took place at the Heinrich-Hertz-Institute, Berlin, and attracted over 60 participants, most of them from the industry.

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

Essential Graphical Techniques in Geography

$139.99

Advances in Neutron Capture Therapy

$219.99

The Political Economy of Regionalism in East Asia

$54.99

Learning from Informal Settlements in Iran

$99.99

Cognitive Tools for Learning

$84.99

Proceedings of 2018 Chinese Intelligent Systems Conference

$169.00

Fundamentals of Partial Differential Equations

$54.99

Integrative Medicine for Breast Cancer

$109.99

New Advances in Computer Graphics

$54.99

Natriuretic Peptides in Health and Disease

$219.99

Classification Theory of Riemann Surfaces

$109.99

Modelling and Empirical Evaluation of Labour Supply Behaviour

$109.99

Regieren in der Transformationsgesellschaft

$64.99

Kardiologie-Information

$49.99

Cholesterol Transporters of the START Domain Protein Family in Health and Disease

$109.99

Fundamental Astronomy and Solar System Dynamics

$84.99

Topographies of Memories

$129.99

Management sicherer Cloud-Services

$54.99

Entwurfsprinzipien und Konstruktionskonzepte der Softwaretechnik

$24.99

Holism and Reductionism in Biology and Ecology

$169.99

Gay Lives and 'Aversion Therapy' in Brezhnev's Russia, 1964-1982

$89.00

Advanced Fluorescence Reporters in Chemistry and Biology I

$329.99

Palaeolimnological Proxies as Tools of Environmental Reconstruction in Fresh Water

$169.99

Telekommunikation

$59.99

Erfolgreich in die Selbststndigkeit

$69.99

Return on Investment in der Personalentwicklung

$59.99

Herbs for Cancer Treatment

$189.00

The Merits of Regional Cooperation

$54.99

Handbuch der Rohrleitungen

$84.99

Untersuchung der Einflussparameter auf die mechanischen Eigenschaften von additiv gefertigtem TiAl6V

$49.99

Service Design and Service Thinking in Healthcare and Hospital Management

$99.99

Jenseits des Molekls

$39.99

Life Narratives and Youth Culture

$99.99

konomische Prinzipien im argentinischen Bundesstrafprozess

$29.99

An Introduction to Agroforestry

$449.99

Perinatal Thrombosis and Hemostasis

$109.99

Epigenetics and Neuroendocrinology

$129.00

sthetik im Proze

$64.99

Marketing-Integration nach Fusionen und Akquisitionen

$79.99

Acute Gastrointestinal Bleeding

$84.99