Adapting Requirements Models to Varying Environments - Alrajeh, Dalal; Cailliau, Antoine; van Lamsweerde, Axel (2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE), 2020)
Keywords: context-dependent requirements; formal verification; logic-based learning; Requirements adaptation; requirements evolution