Imperial College London

ProfessorJeffKramer

Faculty of EngineeringDepartment of Computing

Honorary Emeritus Professor of Distributed Computing
 
 
 
//

Contact

 

j.kramer Website

 
 
//

Assistant

 

Mrs Bridget Gundry +44 (0)20 7594 1245

 
//

Location

 

571Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Letier:2005,
author = {Letier, E and Kramer, J and Magee, J and Uchitel, S},
pages = {382--391},
title = {Monitoring and control in requirements analysis},
year = {2005}
}

RIS format (EndNote, RefMan)

TY  - CPAPER
AB - Scenarios are an effective means for eliciting, validating and documenting requirements. At the requirements level, scenarios describe sequences of interactions between the software-to-be and agents in the environment. Interactions correspond to the occurrence of an event that is controlled by one agent and monitored by another. This paper presents a technique to analyse requirements-level scenarios for unforeseen, potentially harmful, consequences. Our aim is to perform analysis early in system development, where it is highly cost-effective. The approach recognises the importance of monitoring and control issues and extends existing work on implied scenarios accordingly. These so-called input-output implied scenarios expose problematic behaviours in scenario descriptions that cannot be detected using standard implied scenarios. Validation of these implied scenarios supports requirements elaboration. We demonstrate the relevance of input-output implied scenarios using a number of examples. Copyright 2005 ACM.
AU - Letier,E
AU - Kramer,J
AU - Magee,J
AU - Uchitel,S
EP - 391
PY - 2005///
SP - 382
TI - Monitoring and control in requirements analysis
ER -