Sebastian Stock, Atif Mashkoor, Michael Leuschel, Alexander Egyed,
"Trace Refinement in B and Event-B"
: Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods (ICFEM), Madrid, Spain, Serie Lecture Notes in Computer Science (LNCS), Vol. 13478, Nummer 4, Springer, Seite(n) 316-333, 11-2022, ISBN: 978-1-59593-882-4
Original Titel:
Trace Refinement in B and Event-B
Sprache des Titels:
Englisch
Original Buchtitel:
Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods (ICFEM), Madrid, Spain
Original Kurzfassung:
We summarize the paper Maintaining Consistency across Engineering Artifacts, published at IEEE Computer 51(2), pp. 28-35, 2018. Detecting inconsistencies across multi-domain and multi-tool artifacts is an important and critical task. Inconsistencies may lead to project failures, cost, and schedule overrun - especially when identified incorrectly or late. The paper we summarize explores a technology for consistency checking that is able to automatically and continuously detect inconsistencies - both among knowledge within and across engineering tools.
Forschungs-