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

Teaching Formal Methods

Teaching Formal Methods

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

Professional engineers can often be distinguished from other designers by the engineers ability to use mathematical models to describe and 1 analyze their products. This observation by Parnas describes the de facto professional standards in all classical engineering disciplines (civil, mechanical, electrical, etc.). Unf- tunately, it is in sharp contrast with current (industrial) practice in software design, where mathematical models are hardly used at all, even by those who, 2 in Holloways words aspire to be engineers. The rare exceptions are certain critical applications, where mathematical techniques are used under the general name formal methods. Yet,thesamecharacteristicsthatmakeformalmethodsanecessityincritical applicationsmakethemalsoadvantageousineverydaysoftwaredesignatvarious levels from design e?ciency to software quality. Why, then, is education failing with respect to formal methods? failing to convince students, academics and practitioners alike that formal methods are truly pragmatic; failing to overcome a phobia of formality and mathematics; failing to provide students with the basic skills and understanding required toadoptamoremathematicalandlogicalapproachtosoftwaredevelopment. Until education takes these failings seriously, formal methods will be an obscure byway in software engineering, which in turn will remain severely impoverished as a result.

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

Handbook of Assessment and Diagnosis of Autism Spectrum Disorder

$249.99

Reconstruction of Macroeconomics: Methods of Statistical Physics, and Keynes' Principle of Effective

$99.00

Carbon Nanotubes for Biomedical Applications

$84.99

Financial Identity Theft

$54.99

Ocular Transporters in Ophthalmic Diseases and Drug Delivery

$169.00

Fake Physics: Spoofs, Hoaxes and Fictitious Science

$24.99

John Marston's Plays

$54.99

Dimensions of Teaching Business Ethics in Asia

$109.99

Product-Service Integration for Sustainable Solutions

$219.99

Diskurstheorie und Gesellschaft

$24.99

Introduction to Differential Geometry

$69.99

Games in Operations Management

$169.99

Ergebnisse der Exakten Naturwissenschaften

$59.99

Marginal Models in Analysis of Correlated Binary Data with Time Dependent Covariates

$39.99

Sonochemistry and Sonoluminescence

$329.99

The United Kingdom The United Nations

$44.99

Proust, Music, and Meaning

$79.99

Dances Duet with the Camera

$119.99

Modern Analysis and Applications

$169.99

Fuzzy Optimization, Decision-making and Operations Research

$129.00

Entscheidbarkeit bei Petri Netzen

$14.99

The Politics of Adoption

$249.99

Turbulence Seminar

$29.99

JIMD Reports, Volume 43

$54.99

Medizinstudium - Ius Practicandi - was nun?

$39.95

The Immediacy of Mystical Experience in the European Tradition

$129.99

Understanding Suicide

$39.99

A Dictionary of Earth Sciences

$74.99

Exercise Testing for Primary Care and Sports Medicine Physicians

$84.99

Globale Soziologie

$79.99

Artificial Life and Evolutionary Computation

$54.99

Die Zusammensetzung des Kirschbranntweines

$59.99

Philosophers on the University

$169.99

Design Data for Reinforced Plastics

$129.00

Building the Spatial University

$159.99

Torsion and Shear Stresses in Ships

$169.99

Logic for Programming, Artificial Intelligence, and Reasoning

$84.99

The State Immunity Controversy in International Law

$219.99

Visual Data Insights Using SAS ODS Graphics

$64.99

Bonobos and People at Wamba: 50 Years of Research

$149.00