Design and Implementation of an Agile-SOFL GUI-Aided Tool

DOI IR (HANDLE)

Search this article

Description

Agile-SOFL is a newly developed method for software development that results from an integration of agile method and the SOFL formal engineering method. It advocates the importance of comprehensible communication between the user and the developer, but the tool support of this idea remains unavailable. In this research, we have developed a prototype software tool to support the user-developer communication in defining the interface of functions to be constructed in a system. The functions that are offered by our tool include: moving graphical elements, making system templates, constructing GUI pages, animating GUI pages, writing formal specifications, supporting test case generation, and aiding the design of basic graphical elements necessary for constructing GUI pages. A simple experiment is conducted in order to evaluate the performance of the tool, and the result shows that the tool is useful in strengthening the user-developer communications.

Journal

Keywords

Details 詳細情報について

  • CRID
    1390290699808133248
  • NII Article ID
    120006897156
  • NII Book ID
    AA12746425
  • DOI
    10.15002/00022714
  • HANDLE
    10114/00022714
  • ISSN
    24321192
  • Text Lang
    en
  • Article Type
    departmental bulletin paper
  • Data Source
    • JaLC
    • IRDB
    • CiNii Articles
  • Abstract License Flag
    Allowed

Report a problem

Back to top