Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Dghaym, Dana"'
Autor:
Dghaym, Dana
The Event Refinement Structures (ERS) approach augments the Event-B formal method with hierarchical diagrams, providing explicit support for control fow and refinement relationships. ERS was originally designed to decompose the atomicity of the event
Externí odkaz:
https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.714589
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Dghaym, Dana, Hoang, Thai Son, Turnock, Stephen R., Butler, Michael, Downes, Jon, Pritchard, Ben
Publikováno v:
In Safety Science April 2021 136
Publikováno v:
In Journal of Systems Architecture January 2021 112
Autor:
Thorburn, Robert, Sassone, Vladimiro, Salehi Fathabadi, Asieh, Aniello, Leonardo, Butler, Michael, Dghaym, Dana, Hoang, Son
Publikováno v:
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings.
Increased systems complexity and ubiquitous computing drive the need for improved systems design. Model-based systems engineering using general purpose languages such as SysML, is a wellestablished response to this challenge. However, for systems whe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e4ad6775f7ddec254b16d6e3b8fdd073
https://doi.org/10.1145/3550356.3559577
https://doi.org/10.1145/3550356.3559577
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Integrating graphical representations with formal methods can help bridge the gap between requirements and formal modelling. In this paper, we compare and evaluate two graphical approaches aiming at describing control flows and refinement in Event-B,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::282eaaca25a2f1a1440d6c7d9c4f8aab
Publikováno v:
Abstract State Machines, Alloy, B, TLA, VDM & Z (9783319335995); 2016, p269-274, 6p