Fluent-based web animation: exploring goals for requirements validation

Authors:
Robert Chatley;Sebastian Uchitel;Jeff Kramer;Jeff Magee
Affiliations:
Imperial College London, London, UK;Imperial College London, London, UK;Imperial College London, London, UK;Imperial College London, London, UK
Venue:
Proceedings of the 27th international conference on Software engineering
Year:
2005

Citing 7
Cited 0

STATEMATE: A Working Environment for the Development of Complex Reactive Systems

IEEE Transactions on Software Engineering
Formal refinement patterns for goal-driven requirements elaboration

SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
The SCR method for formally specifying, verifying, and validating requirements: tool support

ICSE '97 Proceedings of the 19th international conference on Software engineering
Concurrency: state models & Java programs

Concurrency: state models & Java programs
Requirements engineering: a roadmap

Proceedings of the Conference on The Future of Software Engineering
Fluent model checking for event-based systems

Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation

RE '04 Proceedings of the Requirements Engineering Conference, 12th IEEE International

Quantified Score

Hi-index	0.00

Visualization

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.