Home > Research > Publications & Outputs > Run-time resolution of uncertainty

Research

Associated organisational unit

Links

Text available via DOI:

View graph of relations

Run-time resolution of uncertainty

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Published

Standard

Run-time resolution of uncertainty. / Welsh, K.; Sawyer, P.; Bencomo, N.
Requirements Engineering Conference (RE), 2011 19th IEEE International. IEEE, 2011. p. 355-356.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Harvard

Welsh, K, Sawyer, P & Bencomo, N 2011, Run-time resolution of uncertainty. in Requirements Engineering Conference (RE), 2011 19th IEEE International. IEEE, pp. 355-356, 19th IEEE International Conference on Requirements Engineering, Trento, Italy, 29/08/11. https://doi.org/10.1109/RE.2011.6051673

APA

Welsh, K., Sawyer, P., & Bencomo, N. (2011). Run-time resolution of uncertainty. In Requirements Engineering Conference (RE), 2011 19th IEEE International (pp. 355-356). IEEE. https://doi.org/10.1109/RE.2011.6051673

Vancouver

Welsh K, Sawyer P, Bencomo N. Run-time resolution of uncertainty. In Requirements Engineering Conference (RE), 2011 19th IEEE International. IEEE. 2011. p. 355-356 doi: 10.1109/RE.2011.6051673

Author

Welsh, K. ; Sawyer, P. ; Bencomo, N. / Run-time resolution of uncertainty. Requirements Engineering Conference (RE), 2011 19th IEEE International. IEEE, 2011. pp. 355-356

Bibtex

@inproceedings{2ae447ee47754ce3936c92931c2c3683,
title = "Run-time resolution of uncertainty",
abstract = "Requirements awareness should help optimize requirements satisfaction when factors that were uncertain at design time are resolved at runtime. We use the notion of claims to model assumptions that cannot be verified with confidence at design time. By monitoring claims at runtime, their veracity can be tested. If falsified, the effect of claim negation can be propagated to the system's goal model and an alternative means of goal realization selected automatically, allowing the dynamic adaptation of the system to the prevailing environmental context.",
author = "K. Welsh and P. Sawyer and N. Bencomo",
year = "2011",
month = may,
day = "1",
doi = "10.1109/RE.2011.6051673",
language = "English",
isbn = "978-1-4577-0921-0",
pages = "355--356",
booktitle = "Requirements Engineering Conference (RE), 2011 19th IEEE International",
publisher = "IEEE",
note = "19th IEEE International Conference on Requirements Engineering ; Conference date: 29-08-2011 Through 02-09-2011",

}

RIS

TY - GEN

T1 - Run-time resolution of uncertainty

AU - Welsh, K.

AU - Sawyer, P.

AU - Bencomo, N.

PY - 2011/5/1

Y1 - 2011/5/1

N2 - Requirements awareness should help optimize requirements satisfaction when factors that were uncertain at design time are resolved at runtime. We use the notion of claims to model assumptions that cannot be verified with confidence at design time. By monitoring claims at runtime, their veracity can be tested. If falsified, the effect of claim negation can be propagated to the system's goal model and an alternative means of goal realization selected automatically, allowing the dynamic adaptation of the system to the prevailing environmental context.

AB - Requirements awareness should help optimize requirements satisfaction when factors that were uncertain at design time are resolved at runtime. We use the notion of claims to model assumptions that cannot be verified with confidence at design time. By monitoring claims at runtime, their veracity can be tested. If falsified, the effect of claim negation can be propagated to the system's goal model and an alternative means of goal realization selected automatically, allowing the dynamic adaptation of the system to the prevailing environmental context.

U2 - 10.1109/RE.2011.6051673

DO - 10.1109/RE.2011.6051673

M3 - Conference contribution/Paper

SN - 978-1-4577-0921-0

SP - 355

EP - 356

BT - Requirements Engineering Conference (RE), 2011 19th IEEE International

PB - IEEE

T2 - 19th IEEE International Conference on Requirements Engineering

Y2 - 29 August 2011 through 2 September 2011

ER -