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

Evangelical Awakenings in the Anglophone Caribbean

$54.99

Resilienz in rechtsberatenden Berufen

$17.99

Besteuerung privater Kapitalanlagen

$39.99

Major Companies of The Far East and Australasia 1993/94

$39.99

Data Analysis in Astronomy III

$54.99

Nanotechnology in a Nutshell

$139.99

Practical Handbook of CUSTOMER SERVICE OPERATIONS

$219.99

Die Technik und der Krieg

$59.99

The Quest for Comets

$54.99

Let's Celebrate Diwali

$5.21

Atomic Anxiety

$99.00

Biochemistry of Atherosclerosis

$169.00

Proceedings of the Canadian Society of Civil Engineering Annual Conference 2021

$279.99

Cultural, Religious and Political Contestations

$54.99

Glucocorticoid Signaling

$169.99

Atlas of Breast Reconstruction

$209.00

Social Robotics

$54.99

The Boy Who Cried Wolf (Hardcover)

$17.99

France and Germany in the South China Sea, c. 1840-1930

$159.99

Steuerliche Analyse der Auseinandersetzung bzw. des Ausscheidens von Gesellschaftern bei Bau- und Pl

$74.99

Recent Developments in Mass Spectrometry in Biochemistry and Medicine

$54.99

Intelligent Distributed Computing, Systems and Applications

$129.00

Intellectual Property Protection of Traditional Cultural Expressions

$109.99

Infinite Dimensional Groups with Applications

$129.00

Digital Technologies and Institutions for Sustainable Development

$219.99

Thermodynamik. Grundlagen und technische Anwendungen

$54.99

Drug Mules

$54.99

Integrated Optics

$29.99

Structure Reports for 1981

$109.99

Der Seefrachtenmarkt

$59.99

Contemporary Peace Making

$54.99

Advanced Computing and Systems for Security

$79.99

Schallabwehr im Bau- und Maschinenwesen

$59.99

Britain and the Holocaust

$54.99

Pathologisch-Anatomische Diagnostik an der Leiche

$59.99

Socialism as the Development of Liberalism

$129.99

E-Learning, E-Didaktik und digitales Lernen

$74.99

Oracle Core: Essential Internals for DBAs and Developers

$69.99

Automated Technology for Verification and Analysis

$39.99

Teaching Primary Geography

$129.00