Adapting Requirements Models to Varying Environments

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...

Full description

Bibliographic Details

Published in:	2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) pp. 50 - 61
Main Authors:	Alrajeh, Dalal, Cailliau, Antoine, van Lamsweerde, Axel
Format:	Conference Proceeding
Language:	English
Published:	ACM 01.10.2020
Subjects:	context-dependent requirements formal verification logic-based learning Requirements adaptation requirements evolution
ISSN:	1558-1225
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!