Toward a UCM-Based Approach for Recovering System Availability Requirements from Execution Traces

Jameleddine Hassine, Abdelwahab Hamou-Lhadj. Toward a UCM-Based Approach for Recovering System Availability Requirements from Execution Traces. In Daniel Amyot, Pau Fonseca i Casas, Gunter Mussbacher, editors, System Analysis and Modeling: Models and Reusability - 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings. Volume 8769 of Lecture Notes in Computer Science, pages 48-63, Springer, 2014. [doi]

Authors

Jameleddine Hassine

This author has not been identified. Look up 'Jameleddine Hassine' in Google

Abdelwahab Hamou-Lhadj

This author has not been identified. Look up 'Abdelwahab Hamou-Lhadj' in Google