kirancodes.me
To Proof Maintenance & Beyond!

Deriving behavior of multi-user processes from interactive requirements validation

Gregor Gabrysiak, Holger Giese, Andreas Seibel

Abstract

In this tool demonstration we present an implementation for interactively validating requirements for multi-user software systems and the processes they support with end users. The tool combines the advantages of requirements animation and scenario synthesis to gather stakeholder feedback and create a common understanding amongst stakeholders. Additionally, the users' behavior during the simulation is captured and used to automatically derive new behavioral specifications.

BibTeX
@inproceedings{Gabrysiak-al:ASE10,
  author    = {Gregor Gabrysiak and
               Holger Giese and
               Andreas Seibel},
  title     = {Deriving behavior of multi-user processes from interactive requirements validation},
  booktitle = {ASE},
  pages     = {355--356},
  publisher = {{ACM}},
  year      = {2010},
}

Related papers