Companies Home Search Profile

Java Software Development with Event B: A Practical Guide

Java Software Development with Event B: A Practical Guide

Download pdf

Java Software Development with Event B: A Practical Guide

Java Software Development with Event B: A Practical Guide

Category

Java

Software Development

Author

Néstor Cataño Collazos

Publication

Morgan & Claypool Publishers

0 View

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.

'

Download pdf

ISBN-10

1681736896

ISBN-13

978-1681736891

Publisher

Morgan & Claypool Publishers

Price

54.95

File Type

PDF

Page No.

100

Néstor Cataño Collazos

Néstor Cataño Collazos

Similar Books

Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice ... Notes in Computer Science Book 13240)

Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice ... Notes in Computer Science Book 13240)

Ilya Sergey

Software Engineering

Foundations of Software Science and Computation Structures: 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 13242)

Foundations of Software Science and Computation Structures: 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 13242)

Patricia Bouyer

Software Architecture

Accelerator Programming Using Directives: 8th International Workshop, WACCPD 2021, Virtual Event, November 14, 2021, Proceedings (Lecture Notes in Computer Science Book 13194)

Accelerator Programming Using Directives: 8th International Workshop, WACCPD 2021, Virtual Event, November 14, 2021, Proceedings (Lecture Notes in Computer Science Book 13194)

Sridutt Bhalachandra

Software Engineering

Engineering Multi-Agent Systems: 9th International Workshop, EMAS 2021, Virtual Event, May 3–4, 2021, Revised Selected Papers (Lecture Notes in Computer Science Book 13190)

Engineering Multi-Agent Systems: 9th International Workshop, EMAS 2021, Virtual Event, May 3–4, 2021, Revised Selected Papers (Lecture Notes in Computer Science Book 13190)

Natasha Alechina

Software Engineering

Parallel and Distributed Computing, Applications and Technologies: 22nd International Conference, PDCAT 2021, Guangzhou, China, December 17–19, 2021, Proceedings ... Notes in Computer Science Book 13148)

Parallel and Distributed Computing, Applications and Technologies: 22nd International Conference, PDCAT 2021, Guangzhou, China, December 17–19, 2021, Proceedings ... Notes in Computer Science Book 13148)

Hong Shen

Software Development

Services Computing – SCC 2021: 18th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, ... Notes in Computer Science Book 12995)

Services Computing – SCC 2021: 18th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, ... Notes in Computer Science Book 12995)

Ajay Katangur

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

Markus Roggenbach

Software Engineering

Kafka Up and Running for Network DevOps: Set Your Network Data in Motion

Kafka Up and Running for Network DevOps: Set Your Network Data in Motion

Eric Chou

Software Development

JMP for Mixed Models

JMP for Mixed Models

Ruth Hummel

Software Development

Programming Concurrency on the JVM: Mastering Synchronization, STM, and Actors

Programming Concurrency on the JVM: Mastering Synchronization, STM, and Actors

Venkat Subramaniam

Software Development

Seven Languages in Seven Weeks: A Pragmatic Guide to Learning Programming Languages (Pragmatic Programmers)

Seven Languages in Seven Weeks: A Pragmatic Guide to Learning Programming Languages (Pragmatic Programmers)

Bruce Tate

Software Development

Building Applications with IBM Rational Application Developer and JavaBeans

Building Applications with IBM Rational Application Developer and JavaBeans

Colette Burrus

Software Development

JMP for Mixed Models

JMP for Mixed Models

Ruth Hummel

Software Development

Android Studio Chipmunk Essentials - Java Edition: Developing Android Apps Using Android Studio 2021.2.1 and Java

Android Studio Chipmunk Essentials - Java Edition: Developing Android Apps Using Android Studio 2021.2.1 and Java

Neil Smyth

Android Studio Bumble Bee Essentials - Java Edition: Developing Android Apps Using Android Studio 2021.1 and Java

Android Studio Bumble Bee Essentials - Java Edition: Developing Android Apps Using Android Studio 2021.1 and Java

Neil Smyth

Programming Concurrency on the JVM: Mastering Synchronization, STM, and Actors

Programming Concurrency on the JVM: Mastering Synchronization, STM, and Actors

Venkat Subramaniam

Software Development

Building Applications with IBM Rational Application Developer and JavaBeans

Building Applications with IBM Rational Application Developer and JavaBeans

Colette Burrus

Software Development

Android Programming In Java: Starting with an App

Android Programming In Java: Starting with an App

Mike James

Learning Jupyter 5: Explore interactive computing using Python, Java, JavaScript, R, Julia, and JupyterLab, 2nd Edition

Learning Jupyter 5: Explore interactive computing using Python, Java, JavaScript, R, Julia, and JupyterLab, 2nd Edition

Dan Toomey

Software Architecture with Spring 5.0: Design and architect highly scalable, robust, and high-performance Java applications

Software Architecture with Spring 5.0: Design and architect highly scalable, robust, and high-performance Java applications

Alberto Salazar

Hands-On Cloud-Native Microservices with Jakarta EE: Build scalable and reactive microservices with Docker, Kubernetes, and OpenShift

Hands-On Cloud-Native Microservices with Jakarta EE: Build scalable and reactive microservices with Docker, Kubernetes, and OpenShift

Luigi Fugaro

Building RESTful Web Services with Spring 5 - Second Edition: Leverage the power of Spring 5.0, Java SE 9, and Spring Boot 2.0

Building RESTful Web Services with Spring 5 - Second Edition: Leverage the power of Spring 5.0, Java SE 9, and Spring Boot 2.0

Raja CSP Raman

RESTful Java Web Services: A pragmatic guide to designing and building RESTful APIs using Java, 3rd Edition

RESTful Java Web Services: A pragmatic guide to designing and building RESTful APIs using Java, 3rd Edition

Bogunuva Mohanram Balachandar

Mastering Software Testing with JUnit 5: Comprehensive guide to develop high quality Java applications

Mastering Software Testing with JUnit 5: Comprehensive guide to develop high quality Java applications

Boni Garcia

Software Testing

Other Authors' Books

Other Publishing Books

Quantum Computing for Computer Architects

Quantum Computing for Computer Architects

Tzvetan S. Metodi

Computer Architecture

Transactional Memory (Synthesis Lectures on Computer Architecture, 2)

Transactional Memory (Synthesis Lectures on Computer Architecture, 2)

James Larus

Computer Architecture

Link Reversal Algorithms (Synthesis Lectures on Distributed Computing Theory, 8)

Link Reversal Algorithms (Synthesis Lectures on Distributed Computing Theory, 8)

Jennifer E. Walter

Embedded Systems Design with the Atmel AVR Microcontroller (Synthesis Lectures on Digital Circuits and Systems, 24)

Embedded Systems Design with the Atmel AVR Microcontroller (Synthesis Lectures on Digital Circuits and Systems, 24)

Steven Barrett

PIC Microcontroller

Advanced Metasearch Engine Technology (Synthessis Lectures on Data Management)

Advanced Metasearch Engine Technology (Synthessis Lectures on Data Management)

Weiyi Meng

Software Engineering

A Guide to Visual Multi-Level Interface Design From Synthesis of Empirical Study (Synthesis Lectures on Visualization)

A Guide to Visual Multi-Level Interface Design From Synthesis of Empirical Study (Synthesis Lectures on Visualization)

Tamara Munzner

Data Visualization

Analysis of the MPEG-1 Layer III (MP3) Algorithm Using MATLAB (Synthesis Lectures on Algorithms and Software in Engineering)

Analysis of the MPEG-1 Layer III (MP3) Algorithm Using MATLAB (Synthesis Lectures on Algorithms and Software in Engineering)

Jayaraman J. Thiagarajan

High-level Structures in Quantum Computing

High-level Structures in Quantum Computing

Jaroslaw Adam Miszczak

Visual Information Retrieval using Java and LIRE (Synthesis Lectures on Information Concepts, Retrieval, and Services, 25)

Visual Information Retrieval using Java and LIRE (Synthesis Lectures on Information Concepts, Retrieval, and Services, 25)

Mathias Lux

Signal Processing for Solar Array Monitoring, Fault Detection, and Optimization (Synthesis Lectures on Power Electronics, 4)

Signal Processing for Solar Array Monitoring, Fault Detection, and Optimization (Synthesis Lectures on Power Electronics, 4)

Andreas Spanias

Electrical Engineering

A Primer on Hardware Prefetching (Synthesis Lectures on Computer Architecture)

A Primer on Hardware Prefetching (Synthesis Lectures on Computer Architecture)

Babak Falsafi

Computer Architecture

Distributed Graph Coloring: Fundamentals and Recent Developments (Synthesis Lectures on Digital Computing Theory)

Distributed Graph Coloring: Fundamentals and Recent Developments (Synthesis Lectures on Digital Computing Theory)

Leonid Barenboim

CFA Chartered Financial Analyst

User Reviews

Log in first to post a comment

Rating

0

0

0

0

0

average 0

Total votes0