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

DOI 機関リポジトリ (HANDLE)

この論文をさがす

説明

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.

収録刊行物

キーワード

詳細情報 詳細情報について

  • CRID
    1390290699808133248
  • NII論文ID
    120006897156
  • NII書誌ID
    AA12746425
  • DOI
    10.15002/00022714
  • HANDLE
    10114/00022714
  • ISSN
    24321192
  • 本文言語コード
    en
  • 資料種別
    departmental bulletin paper
  • データソース種別
    • JaLC
    • IRDB
    • CiNii Articles
  • 抄録ライセンスフラグ
    使用可

問題の指摘

ページトップへ