Contract-based specification of mode-dependent timing behavior
J Kröger, B Koopmann, I Stierand, M Fränzle - Innovations in Systems and …, 2024 - Springer
The design of safety-critical systems calls for rigorous application of specification and
verification methods. In this context, a comprehensive consideration of safety aspects, which …
verification methods. In this context, a comprehensive consideration of safety aspects, which …
Providing evidence for correct and timely functioning of software safety mechanisms
JS Becker, B Koopmann, I Stierand… - Software Engineering 2023 …, 2023 - dl.gi.de
In many application domains, the development of safety-critical systems must follow
standards that define process steps and artifacts to establish a comprehensive safety …
standards that define process steps and artifacts to establish a comprehensive safety …
[引用][C] HCIA: Hierarchical Change Impact Analysis Based on Hierarchy Program Slices
J Chang, L Wang, Z Zhang - International Journal of Software …, 2024 - World Scientific
Change Impact Analysis (CIA) is an essential method in software maintenance and
evolution. Its accuracy and usability play a crucial role in its application. However, most CIAs …
evolution. Its accuracy and usability play a crucial role in its application. However, most CIAs …