• DocumentCode
    279137
  • Title

    Reducing the validation task by adding conformance at the implementation level

  • Author

    Noik, Emanuel G.

  • Author_Institution
    Dept. of Comput. Sci., Toronto Univ., Ont., Canada
  • Volume
    ii
  • fYear
    1991
  • fDate
    8-11 Jan 1991
  • Firstpage
    104
  • Abstract
    Some interface tools generate interfaces which conform to specific look and feel conventions while others allow the look and feel to be specified independently. However, these approaches give the developer too much latitude-he may still introduce inconsistencies. Since validating user interfaces for conformance is problematic, the author argues that it is better to prevent inconsistencies from arising in the first place rather than having to detect them afterwards. He has created a tool which generates interactive applications from a high-level description of the application´s structure and interactive requirements. This approach not only simplifies the developer´s task, it guarantees that the generated interfaces will exhibit a higher minimum degree of conformance. This in turn can reduce the magnitude and scope of the validation task. He describes a frame work for studying validation which emphasizes its automatic measurement and analysis as a means towards its reduction, and shows how his tool fits into this framework
  • Keywords
    graphical user interfaces; interactive systems; program verification; software tools; NAAG; graphical user interfaces; high-level description; interactive applications; interface tools; program validation; validating user interfaces; Computer science; Databases; Educational institutions; Graphical user interfaces; Size measurement; Standards development; User interfaces;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    System Sciences, 1991. Proceedings of the Twenty-Fourth Annual Hawaii International Conference on
  • Conference_Location
    Kauai, HI
  • Type

    conf

  • DOI
    10.1109/HICSS.1991.183969
  • Filename
    183969