Practical interface specification

被引:0
|
作者
Hoffman, Daniel [1 ]
机构
[1] Univ of Victoria, Canada
关键词
17;
D O I
暂无
中图分类号
学科分类号
摘要
引用
收藏
页码:127 / 148
相关论文
共 50 条
  • [41] Intelligent graphical interface for tunnel support specification
    Brown, David C.
    Salazar, Guillermo F.
    Liu, Shawna X.
    Proceedings of the World Congress on Expert Systems, 1991,
  • [42] An approach to user interface specification with attribute grammars
    Qingyi Hua
    Journal of Computer Science and Technology, 1997, 12 (1) : 65 - 75
  • [43] A graphical user interface for Boolean query specification
    Jones S.
    Mclnnes S.
    Staveley M.S.
    International Journal on Digital Libraries, 1999, 2 (2-3) : 207 - 223
  • [44] IBDL: A language for interface behavior specification and testing
    Viswanadha, S
    Kapur, D
    PROCEEDINGS OF THE FOURTH USENIX CONFERENCE ON OBJECT-ORIENTED TECHNOLOGIES AND SYSTEMS: COOTS, 1998, : 235 - 248
  • [45] Towards hybrid interface specification for virtual environments
    Massink, M
    Duke, D
    Smith, S
    DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'99, 1999, : 30 - 51
  • [46] A PRACTICAL ASSESSMENT OF FORMAL SPECIFICATION APPROACHES FOR DATA ABSTRACTIONS
    VENTOURIS, KP
    PINTELAS, PE
    JOURNAL OF SYSTEMS AND SOFTWARE, 1992, 17 (02) : 169 - 188
  • [47] A PRACTICAL EXAMPLE OF THE SPECIFICATION OF ABSTRACT DATA-TYPES
    TOMPA, FW
    ACTA INFORMATICA, 1980, 13 (03) : 205 - 224
  • [48] Pressure gauge specification considerations in practical well testing
    Veneruso, A.F.
    Erlig-Economides, C.
    Petitjean, L.
    SPE Reprint Series, 2004, (57 PART 1): : 31 - 44
  • [49] A practical approach to using the IMS-QTI specification
    Auzende, Odette
    Giroire, Helene
    Le Calvez, Francoise
    INTERNATIONAL JOURNAL OF LEARNING TECHNOLOGY, 2012, 7 (04) : 353 - 377
  • [50] A practical combination of a process algebra with an algebraic specification language
    Salaün, G
    Allemand, M
    Attiogbé, C
    PDPTA'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, 2001, : 73 - 79