Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Experiment Videos

Formal analysis and automatic generation of user interfaces: approach, methodology, and an algorithm.

Michael Heymann1, Asaf Degani

  • 1Technion, Israel Institute of Technology, Haifa, Israel.

Human Factors
|April 24, 2007
PubMed
Summary
This summary is machine-generated.

Related Concept Videos

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Bridging dimensions: combining one- and two-photon 3D printing for microfluidic device fabrication.

Lab on a chip·2026
Same author

Upconversion Photoluminescence to Monitor Local Heat Release During Femtosecond Direct Laser Writing of Bioinks In Situ.

Small methods·2026
Same author

Two-photon 3D-printed BSA hydrogel fibers resemble native muscle contraction dynamics.

Biofabrication·2026
Same author

Coaxial helium electrospray for single-particle imaging at X-ray free electron lasers.

Journal of synchrotron radiation·2025
Same author

Development of a flat jet delivery system for soft X-ray spectroscopy at MAX IV.

Journal of synchrotron radiation·2024
Same author

Aqueous Ammonium Nitrate Investigated Using Photoelectron Spectroscopy of Cylindrical and Flat Liquid Jets.

The journal of physical chemistry. B·2024

This study introduces a formal method for creating correct and concise user interfaces, focusing on human-automation interaction. The approach ensures users can perform tasks efficiently with minimal information, and it can be automated for adaptive systems.

Area of Science:

  • Human-Computer Interaction
  • Human-Automation Interaction
  • User Interface Design

Background:

  • Conceptual modeling, analysis, and verification of user interface information content.
  • Importance of user interface design in human-automation systems.

Purpose of the Study:

  • To present a formal approach and methodology for analyzing and generating user interfaces.
  • Emphasis on human-automation interaction and information content optimization.

Main Methods:

  • Methodology based on two criteria: correctness (task completion) and succinctness (minimal necessary information).
  • Development of a step-by-step procedure for generating interface information content.

Main Results:

  • A procedure for generating correct and succinct interface information content is presented.

Related Experiment Videos

  • The procedure is explained and illustrated with two examples.
  • A software tool for automating the generation of interface content has been developed.

    • Conclusions:

    • User interfaces are abstract descriptions of underlying systems; their correspondence can be formally analyzed.
    • The developed procedure can be automated, enabling applications in adaptive and personalized interfaces.