Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Analyzing Timing Requirements Joanne M. Atlee

Summary: Analyzing Timing Requirements
Joanne M. Atlee
University of Waterloo
Waterloo, Ontario
John Gannon \Lambda
University of Maryland
College Park, Maryland
1 Introduction
Software errors frequently arise from incorrect system
requirements. Successful requirements acquisition re­
quires a thorough review process in which both domain
experts and implementers can participate. Research
groups [6, 10] have developed notations with precise
meanings that can be read by both groups of reviewers.
In [3], we showed how such requirements, in particular
Software Cost Reduction (SCR) requirements, could be
analyzed with formal methods. We developed methods
for detailing SCR tabular requirements (with informa­
tion that appears elsewhere in the SCR requirements
document), translating the detailed requirements into


Source: Atlee, Joanne M. - School of Computer Science, University of Waterloo


Collections: Computer Technologies and Information Sciences