review-article

Modeling in event-b - system and software engineering by Jean-Raymond Abrial

Author:

Aryldo G. Russo, Jr.Authors Info & Claims

ACM SIGSOFT Software Engineering Notes, Volume 36, Issue 2

Pages 38 - 39

https://doi.org/10.1145/1943371.1943378

Published: 14 March 2011 Publication History

Get Access

Abstract

No abstract available.

Cited By

View all

Shi JZheng L(2024)Scenario-specific verification of system requirements consistency via time modelingInternational Journal of Modeling, Simulation, and Scientific Computing10.1142/S179396232441016215:02Online publication date: 19-Jan-2024
https://doi.org/10.1142/S1793962324410162
Yin HHu YLiu L(2019)Research on Formal Modeling and Analysis of Complex Space Information SystemsProceedings of the 5th China High Resolution Earth Observation Conference (CHREOC 2018)10.1007/978-981-13-6553-9_13(112-122)Online publication date: 24-Mar-2019
https://doi.org/10.1007/978-981-13-6553-9_13

Index Terms

Recommendations

Towards the Composition of Specifications in Event-B

The development of a system can start with the creation of a specification. Following this viewpoint, we claim that often a specification can be constructed from the combination of specifications which can be seen as composition. Event-B is a formal ...
Java Software Development With Event B: A Practical Guide
Automata-Based Software Engineering with Event-B
Abstract
A new automata-based programming language built by extending the Event-B specification language is proposed. When developing models in Event-B, it becomes possible to use automata-based methods in addition to the popular refinement method. The ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes

ACM SIGSOFT Software Engineering Notes Volume 36, Issue 2

March 2011

116 pages

ISSN:0163-5948

DOI:10.1145/1943371

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 14 March 2011

Published in SIGSOFT Volume 36, Issue 2

Check for updates

Qualifiers

Review-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
384
Total Downloads

Downloads (Last 12 months)8
Downloads (Last 6 weeks)2

Reflects downloads up to 07 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Shi JZheng L(2024)Scenario-specific verification of system requirements consistency via time modelingInternational Journal of Modeling, Simulation, and Scientific Computing10.1142/S179396232441016215:02Online publication date: 19-Jan-2024
https://doi.org/10.1142/S1793962324410162
Yin HHu YLiu L(2019)Research on Formal Modeling and Analysis of Complex Space Information SystemsProceedings of the 5th China High Resolution Earth Observation Conference (CHREOC 2018)10.1007/978-981-13-6553-9_13(112-122)Online publication date: 24-Mar-2019
https://doi.org/10.1007/978-981-13-6553-9_13

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

Cited By

Index Terms

Recommendations

Towards the Composition of Specifications in Event-B

Java Software Development With Event B: A Practical Guide

Automata-Based Software Engineering with Event-B

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations