kirancodes.me
To Proof Maintenance & Beyond!

Fluent-based web animation: exploring goals for requirements validation

Robert Chatley, Sebastián Uchitel, Jeff Kramer, Jeff Magee

Abstract

We present a tool that provides effective graphical animations as a means of validating both goals and software designs. Goals are objectives that a system is expected to meet. They are decomposed until they can be represented as fluents. Animations are specified in terms of fluents and driven by behaviour models.

BibTeX
@inproceedings{Chatley-al:ICSE05,
  author    = {Robert Chatley and
               Sebasti{\'{a}}n Uchitel and
               Jeff Kramer and
               Jeff Magee},
  title     = {Fluent-based web animation: exploring goals for requirements validation},
  booktitle = {ICSE},
  pages     = {674--675},
  publisher = {{ACM}},
  year      = {2005},
}

Related papers