你好! Tracked shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Java Software Development with Event B: A Practical Guide
Type
Physical Book
Author
Publisher
Language
English
Pages
89
Format
Paperback
Dimensions
23.5 x 19.1 x 0.5 cm
Weight
0.19 kg.
ISBN13
9783031014222
Edition No.
1
Categories

Java Software Development with Event B: A Practical Guide

Néstor Cataño Collazos (Author) · Springer · Paperback

Java Software Development with Event B: A Practical Guide - Collazos, Néstor Cataño

Cheaper New Book Imported to Taiwan
Delivery: 09 Sep - 18 Sep Shipping: 13 to 15 business days.
NT$ 1,178
Faster New Book Imported to Taiwan
Delivery: 27 Aug - 07 Sep Shipping: 5 to 6 business days.
NT$ 1,410
NT$ 1,178

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Java Software Development with Event B: A Practical Guide"

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.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews