[go: up one dir, main page]

Paterno et al., 1995 - Google Patents

A tool-supported approach to the refinement of interactive systems

Paterno et al., 1995

Document ID
8862792100597870802
Author
Paterno F
Leonardi A
Pangoli S
Publication year
Publication venue
Interactive Systems: Design, Specification, and Verification: 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994

External Links

Snippet

In this paper we present an approach to support developers in the refinement of specifications of Interactive Systems. We begin with a formal specification of user tasks. We then obtain an architectural description of the corresponding Interactive System in terms of …
Continue reading at link.springer.com (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/20—Handling natural language data
    • G06F17/21—Text processing
    • G06F17/24—Editing, e.g. insert/delete
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/44—Arrangements for executing specific programmes
    • G06F9/4443—Execution mechanisms for user interfaces
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/34—Graphical or visual programming
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/38—Implementation of user interfaces
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F3/00—Input arrangements for transferring data to be processed into a form capable of being handled by the computer; Output arrangements for transferring data from processing unit to output unit, e.g. interface arrangements
    • G06F3/01—Input arrangements or combined input and output arrangements for interaction between user and computer
    • G06F3/048—Interaction techniques based on graphical user interfaces [GUI]
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/10—Requirements analysis; Specification techniques
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/10—Office automation, e.g. computer aided management of electronic mail or groupware; Time management, e.g. calendars, reminders, meetings or time accounting
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models

Similar Documents

Publication Publication Date Title
Myers Demonstrational interfaces: A step beyond direct manipulation
US6226785B1 (en) Method and apparatus for storing and replaying creation history of multimedia software or other software content
Shaer et al. A specification paradigm for the design and implementation of tangible user interfaces
Szekely Retrospective and challenges for model-based interface development
Wilson et al. Beyond hacking: a model based approach to user interface design
Singh et al. A high-level user interface management system
Foley et al. History, results, and bibliography of the user interface design environment (UIDE), an early model-based system for user interface design and implementation
Pangoli et al. Automatic generation of task-oriented help
CN107122171A (en) Automatically generate the method and system of data manipulation in operation flow
Coutaz et al. Applications: A dimension space for user interface management systems
McDaniel et al. Building applications using only demonstration
Paterno et al. A tool-supported approach to the refinement of interactive systems
Aitken et al. Interactive theorem proving: An empirical study of user activity
Goldstein et al. An experimental description-based programming environment: Four reports
Berlage et al. The GINA interaction recorder
Savidis et al. Designing user-adapted interfaces: the unified design method for transformable interactions
Rößling ANIMAL-FARM: An extensible framework for algorithm visualization
Vanderdonckt et al. Multi-model and multi-level development of user interfaces
Vanderdonckt Computer-Aided Design of User Interfaces: Proceedings of the 2th International Workshop on Computer-AIded Design Or User Interfaces CADUI'96
Huang et al. Hammering models: designing usable modeling tools
Paternó et al. 10 A Tool-Supported Approach to the Refinement of
Douglas et al. QUICK: a tool for graphical user-interface construction by non-programmers
Wolff et al. Tool support for an evolutionary design process using patterns
Paquette et al. Task model simulation using interaction templates
Paquette Simulating task models using concrete user interface components