Adapting requirements models to varying environments
Dalal Alrajeh, Antoine Cailliau, Axel van Lamsweerde
2020Year
33Citations
2Top-tier citations
Abstract
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.
Ask about this paper
Ask your agent about it.
Lune has read the top-tier papers around this one, so every answer names the papers it rests on.
Your agent calls
Lunesearch_papers
Free to start. No credit card required.
Terminal
Install the CLIlune papers get d3a810ef-0686-416b-8e89-a31d82ae466fCited by top-tier papers2
- Robustification of Behavioral Designs against Environmental DeviationsChangjian Zhang, Tarang Saluja, Rômulo Meira-Góes, Matthew L. Bolton et al.ICSE 2023 · 11 citations
- Constrained LTL Specification Learning from ExamplesChangjian Zhang, Parv Kapoor, Ian Dardik, Leyi Cui et al.ICSE 2025 · 4 citations
Related papers
- How to Identify Boundary Conditions with Contrasty Metric?Weilin Luo, Hai Wan, Xiaotong Song, Binhao Yang et al.ICSE 2021 · 12 citations
- A behavioral notion of robustness for software systemsChangjian Zhang, David Garlan, Eunsuk KangFSE 2020 · 17 citations
- Supporting Quality Assurance with Automated Process-Centric Quality Constraints CheckingChristoph Mayr-Dorn, Michael Vierhauser, Stefan Bichler, Felix Keplinger et al.ICSE 2021 · 17 citations
- Mining assumptions for software components using machine learningKhouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand et al.FSE 2020 · 19 citations
- EvoSpex: An Evolutionary Algorithm for Learning PostconditionsFacundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. FriasICSE 2021
