SEJan 11, 2013
Event-B/SLP
arXiv:1301.2368v1
Originality Synthesis-oriented
AI Analysis
This work addresses a specific technical challenge in formal methods for software engineering, representing an incremental improvement.
The paper tackles the problem of integrating algorithmic modeling constructs into Event-B's event-based notation while preserving the refinement-based development process, achieving a successful augmentation without disruption.
We show how the event-based notation offered by Event-B may be augmented by algorithmic modelling constructs without disrupting the refinement-based development process.