A USER INTERFACE SPECIFICATION FOR A PROGRAM DEBUGGING AND MEASURING ENVIRONMENT

被引：1
|
作者：
LOPRIORE, L
机构：
来源：
SOFTWARE-PRACTICE & EXPERIENCE | 1989年 / 19卷 / 05期
关键词：
D O I：
10.1002/spe.4380190503
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：437 / 460
页数：24
相关论文
共 50 条
  • [31] SPECIFICATION OF THE BROAD-BAND USER-NETWORK INTERFACE
    POPPLE, G
    GLEN, P
    ELECTRONICS & COMMUNICATION ENGINEERING JOURNAL, 1994, 6 (02): : 105 - 112
  • [32] USER-INTERFACE DEVICES FOR RAPID AND EXACT NUMBER SPECIFICATION
    RAPPOPORT, A
    VANEMMERIK, M
    ACM TRANSACTIONS ON GRAPHICS, 1993, 12 (04): : 348 - 354
  • [33] A case study in the specification and analysis of design alternatives for a user interface
    Duke, David
    Fields, Bob
    Harrison, Michael D.
    Formal Aspects of Computing, 11 (02): : 107 - 131
  • [34] Model-Based Specification and Validation of User Interface Requirements
    Bomsdorf, Birgit
    Sinnig, Daniel
    HUMAN-COMPUTER INTERACTION, PT I, 2009, 5610 : 587 - +
  • [35] USER-INTERFACE SPECIFICATION USING AN ENHANCED SPREADSHEET MODEL
    HUDSON, SE
    ACM TRANSACTIONS ON GRAPHICS, 1994, 13 (03): : 209 - 239
  • [36] LUIS - a logic for task-oriented user interface specification
    Vienna Univ of Technology, Vienna, Austria
    Int J Intell Syst, 2 (201-231):
  • [37] Formal Specification of Multi-Window User Interface in PVS
    Singh, Kalyani
    Auernheimer, Brent
    HCI INTERNATIONAL 2016 - POSTERS' EXTENDED ABSTRACTS, PT I, 2016, 617 : 144 - 149
  • [38] Approach to designing event-driven user interface specification
    Chen, Huinan
    Nanjing Youdian Xueyuan Xuebao/Journal of Nanjing Institute of Posts and Telecommunications, 1999, 19 (04): : 50 - 53
  • [39] USER INTERFACE CONSTRUCTION BASED ON PARALLEL AND SEQUENTIAL EXECUTION SPECIFICATION
    MASUI, T
    IEICE TRANSACTIONS ON COMMUNICATIONS ELECTRONICS INFORMATION AND SYSTEMS, 1991, 74 (10): : 3168 - 3179
  • [40] Graphical user interface development on the basis of data flows specification
    Danikauskas, T
    Butleris, R
    Drasutis, S
    COMPUTER AND INFORMATION SCIENCES - ISCIS 2005, PROCEEDINGS, 2005, 3733 : 904 - 914
12345