THE VERITAS DESIGN LOGIC - A USERS VIEW

被引：0
|
作者：
HANNA, K
DAECHE, N
机构：
来源：
IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY | 1992年 / 10卷
关键词：
DESIGN LOGIC; DEPENDENT TYPES; USER INTERFACE;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The factors influencing the design of a user interface, specifically intended for non-expert users, to an LCF-style implementation of a dependently-typed higher-order logic are discussed. An overview is given of the actual window-based design together with illustrations of the way that proofs involving dependent types may be carried out.
引用
收藏
页码：301 / 310
页数：10
相关论文
共 50 条
  • [1] IMPLEMENTATION OF THE VERITAS DESIGN LOGIC
    HANNA, K
    DAECHE, N
    HOWELLS, G
    IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 10 : 77 - 94
  • [2] In Design Veritas
    不详
    CONNAISSANCE DES ARTS, 2005, (632): : 136 - 136
  • [3] MEDICAL INSTRUMENT DESIGN - A USERS VIEW
    DIXON, SA
    BIOMATERIALS MEDICAL DEVICES AND ARTIFICIAL ORGANS, 1981, 9 (04): : 379 - 379
  • [4] USERS VIEW OF ADP SYSTEMS-DESIGN
    LAVER, FJM
    COMPUTER JOURNAL, 1964, 7 (02): : 93 - &
  • [5] How to Categorize Users from a Design Point of View?
    Lorentzen, Lena
    ADVANCES IN DESIGN FOR INCLUSION, 2016, 500 : 585 - 597
  • [6] AN ALGORITHM FOR NETWORK TOPOLOGY DESIGN FROM THE USERS POINT OF VIEW
    WANG, ZH
    BROWNING, DW
    PROCEEDINGS OF THE 22ND CONFERENCE ON INFORMATION SCIENCES AND SYSTEMS, VOLS 1 & 2, 1988, : 1064 - 1069
  • [7] THE USERS VIEW
    KAPLAN, G
    IEEE SPECTRUM, 1992, 29 (04) : 30 - &
  • [8] THE USERS VIEW
    FRY, IK
    BRITISH JOURNAL OF RADIOLOGY, 1984, 57 (683): : 1049 - 1049
  • [9] MECHANICAL DESIGN PRODUCTIVITY USING CAD GRAPHICS - A USERS POINT OF VIEW
    BOLTZ, RJ
    AVERY, JT
    IEEE COMPUTER GRAPHICS AND APPLICATIONS, 1985, 5 (02) : 40 - 44
  • [10] PLANT USERS VIEW
    SCANNELL, RM
    CHEMISTRY & INDUSTRY, 1976, (21) : 929 - 930
12345