• DocumentCode
    2708142
  • 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
  • fYear
    2005
  • fDate
    15-21 May 2005
  • Firstpage
    674
  • Lastpage
    675
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering, 2005. ICSE 2005. Proceedings. 27th International Conference on
  • Print_ISBN
    1-59593-963-2
  • Type

    conf

  • DOI
    10.1109/ICSE.2005.1553648
  • Filename
    1553648
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2708142