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

Java Software Development with Event B

Java Software Development with Event B

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

The cost of fixing software design flaws after the completion of a software product is so high that it is vital to come up with ways to detect software design flaws in the early stages of software development, for instance, during the software requirements, the analysis activity, or during software design, before coding starts. It is not uncommon that software requirements are ambiguous or contradict each other. Ambiguity is exacerbated by the fact that software requirements are typically written in a natural language, which is not tied to any formal semantics. A palliative to the ambiguity of software requirements is to restrict their syntax to boilerplates, textual templates with placeholders. However, as informal requirements do not enjoy any particular semantics, no essential properties about them (or about the system they attempt to describe) can be proven easily. Formal methods are an alternative to address this problem. They offer a range of mathematical techniques and mathematical tools to validate software requirements in the early stages of software development. This book is a living proof of the use of formal methods to develop software. The particular formalisms that we use are EVENT B and refinement calculus. In short: (i) software requirements as written as User Stories; (ii) they are ported to formal specifications; (iii) they are refined as desired; (iv) they are implemented in the form of a prototype; and finally (v) they are tested for inconsistencies. If some unit-test fails, then informal as well as formal specifications of the software system are revisited and evolved. This book presents a case study of software development of a chat system with EVENT B and a case study of formal proof of properties of a social network.

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

Single Product Purchase

$19.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
$19.99 $19.99

$19.99
See Site In stock Visit Store

Similar Products

Physiology for General Surgical Sciences Examination (GSSE)

$54.99

Entrepreneurship and Organizational Change

$119.00

Making Space for Storied Leadership in Higher Education

$119.99

Educational Commons

$59.99

By Disaster or by Design?

$24.99

Stoff-, Motiv- und Symbolforschung

$19.99

Border-Marxisms and Historical Materialism

$129.99

Critical ELT Practices in Asia

$49.99

Character Rigging and Advanced Animation

$44.99

Datenvisualisierungen mit Julia

$39.99

Computational Intelligence and Informatics

$169.99

Essays on the Doctrinal Study of Law

$79.99

Theoretische Physik auf der Grundlage einer allgemeinen Dynamik

$74.99

Nuclear Structure Study with Neutrons

$109.99

Handbook of Security Science

$549.99

Benzodiazepine

$89.99

The Effects of Aging and Environment on Vision

$169.99

Neuropathologie des Drogenmissbrauchs

$59.99

Die Gefahrtragung beim Kaufvertrag

$59.99

Schengen Visa Implementation and Transnational Policymaking

$89.99

Hochschulen im strategischen Wettbewerb

$59.99

Optimality and Risk - Modern Trends in Mathematical Finance

$54.99

Menschliches Konformittsverhalten am Computer simuliert

$49.99

Turnpike Properties in the Calculus of Variations and Optimal Control

$84.99

Handbook of Psychopharmacology

$84.99

Libert, Egalit and Fraternit at Work

$109.99

Teaching Philosophy in Early Modern Europe

$159.99

Classical Banach Spaces

$46.00

Schweitechnische Fertigungsverfahren 2

$84.99

Provisional Bibliography of Atlases, Floras and Faunas of European Cities: 16002014

$84.99

Software Quality and Productivity

$169.00

Self and Other: Essays in Continental Philosophy of Religion

$54.99

Computational Intelligence Methods for Bioinformatics and Biostatistics

$39.99

Atlas of the Deep-Water Seabed

$109.99

Hot-Carrier Reliability of MOS VLSI Circuits

$219.99

Die Funktionale Verhaltensanalyse

$17.99

Handbuch Arbeitgeber- und Wirtschaftsverbnde in Deutschland

$69.99

Der enge Spinalkanal

$79.99

Hexoprenalin

$6.99

Celan-Handbuch

$19.99