TY - GEN
T1 - Trace Refinement in B and Event-B
AU - Stock, Sebastian
AU - Mashkoor, Atif
AU - Leuschel, Michael
AU - Egyed, Alexander
PY - 2022/11
Y1 - 2022/11
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/85141684802
U2 - 10.1007/978-3-031-17244-1_19
DO - 10.1007/978-3-031-17244-1_19
M3 - Conference proceedings
SN - 9783031172434
VL - 13478
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 316
EP - 333
BT - Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods (ICFEM), Madrid, Spain
A2 - Riesco, Adrian
A2 - Zhang, Min
PB - Springer
ER -