Sebastian Stock, Atif Mashkoor, Alexander Egyed,
"Application of Validation Obligations to Security Concerns"
: Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods (ICFEM) , Madrid, Spain, Serie Communications in Computer and Information Science, Vol. 1633, Nummer 2, Springer, Seite(n) 337-346, 2022, ISBN: 9781450396745
Original Titel:
Application of Validation Obligations to Security Concerns
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.
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
Springer
Serie:
Communications in Computer and Information Science
Forschungs-