Title :
Fluent-based Web animation: exploring goals for requirements validation
Author :
Chatley, Robert ; Uchitel, Sebastian ; Kramer, Jeff ; Magee, Jeff
Author_Institution :
Dept. of Comput., Imperial Coll. London, UK
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.
Keywords :
formal specification; program verification; program visualisation; software tools; behaviour model; fluent-based Web animation; graphical animation; requirements validation; software design; Animation; Control systems; Educational institutions; Human factors; Logic; Software design; Software engineering; Software systems; Visualization; Web pages;
Conference_Titel :
Software Engineering, 2005. ICSE 2005. Proceedings. 27th International Conference on
Print_ISBN :
1-59593-963-2
DOI :
10.1109/ICSE.2005.1553648
