Translation from Event-B into Eiffel

Translation from Event-B into Eiffel

Formal modelling languages play a key role in the development of software: they enable users to specify functional requirements that serve as documentation as well; they enable users to prove the correctness of system properties, especially for critical systems. However, there is still an open quest...

Full description

Bibliographic Details
Main Authors: Sofia Reznikova, Victor Rivera, Joo Young Lee, Manuel Mazzara
Format: Article
Language:English
Published: Yaroslavl State University 2018-12-01
Series:Modelirovanie i Analiz Informacionnyh Sistem
Subjects:
stepwise refinement
design-by-contract
formal modelling
reactive systems
event-b
eiffel
Online Access:https://www.mais-journal.ru/jour/article/view/763

Similar Items

Similar Items