Adapting requirements models to varying environments
Dalal Alrajeh, Antoine Cailliau, Axel van Lamsweerde
2020年份
33被引次数
2顶会引用
摘要
The engineering of high-quality software requirements generally relies on properties and assumptions about the environment in which the software-to-be has to operate. Such properties and assumptions, referred to as environment conditions in this paper, are highly subject to change over time or from one software variant to another. As a consequence, the requirements engineered for a specific set of environment conditions may no longer be adequate, complete and consistent for another set.
问问这篇 Paper
问问你的智能体。
Lune 读过与它相关的顶会 Paper,每个回答都会注明依据哪几篇。
引用它的顶会 Paper2
- Robustification of Behavioral Designs against Environmental DeviationsChangjian Zhang, Tarang Saluja, Rômulo Meira-Góes, Matthew L. Bolton 等ICSE 2023 · 被引用 11 次
- Constrained LTL Specification Learning from ExamplesChangjian Zhang, Parv Kapoor, Ian Dardik, Leyi Cui 等ICSE 2025 · 被引用 4 次
相关 Paper
- How to Identify Boundary Conditions with Contrasty Metric?Weilin Luo, Hai Wan, Xiaotong Song, Binhao Yang 等ICSE 2021 · 被引用 12 次
- A behavioral notion of robustness for software systemsChangjian Zhang, David Garlan, Eunsuk KangFSE 2020 · 被引用 17 次
- Supporting Quality Assurance with Automated Process-Centric Quality Constraints CheckingChristoph Mayr-Dorn, Michael Vierhauser, Stefan Bichler, Felix Keplinger 等ICSE 2021 · 被引用 17 次
- Mining assumptions for software components using machine learningKhouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand 等FSE 2020 · 被引用 19 次
- EvoSpex: An Evolutionary Algorithm for Learning PostconditionsFacundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. FriasICSE 2021
