Requirements & Specification Exemplars

Feather, Martin S.;Fickas, Stephen;Finkelstein, Anthony;van Lamsweerde, Axel
(1997) Automated Software Engineering : the international journal of automated reasoning and artificial intelligence in software engineering — Vol. 4, n° 4, p. 419-438 (1997)

Files

Exemplars-ASE.pdf
  • Restricted Access
  • Adobe PDF
  • 46.79 KB

Details

Authors
  • Feather, Martin S.Jet Propulsion Laboratory, Pasadena
    Author
  • Fickas, StephenUniversity of Oregon
    Author
  • Finkelstein, AnthonyDepartment of Computer Science, City Universtiy
    Author
  • van Lamsweerde, AxelUCLouvain
    Author
Abstract
Specification exemplars are familiar to most software engineering researchers. For instance, many will have encountered the well known library and lift problem statements, and will have seen one or more published specifications. Exemplars may serve several purposes: to drive and communicate individual research advances; to establish research agendas and to compare and contrast alternative approaches; and, ultimately, to lead to advances in software development practices. Because of their prevalence in the literature, exemplars are worth critical study. In this paper we consider the purposes that exemplars may serve, and explore the incompatibilities inherent in trying to serve several of them at once. Researchers should therefore be clear about what successfully handling an exemplar demonstrates. We go on to examine the use of exemplars not only for writing specifications (an end product of requirements engineering), but also for the requirements engineering process itself. In particular, requirements for good requirements exemplars are suggested and ways of obtaining such exemplars are discussed.
Affiliations

Citations

Feather, M. S., Fickas, S., Finkelstein, A., & van Lamsweerde, A. (1997). Requirements & Specification Exemplars. Automated Software Engineering : the international journal of automated reasoning and artificial intelligence in software engineering, 4(4), 419-438. https://hdl.handle.net/2078.5/76140 (Original work published 1997)