A notation for goal driven interfaces specification

被引：1
|
作者：
Carrillo-León, AL [1 ]
Falgueras-Cano, J [1 ]
Guevara-Plaza, A [1 ]
机构：
[1] Univ Malaga, Dept Comp Sci & Artificial Intelligence, E-29071 Malaga, Spain
来源：
HCI RELATED PAPERS OF INTERACCION 2004 | 2006年
关键词：
D O I：
10.1007/1-4020-4205-1_28
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：337 / +
页数：2
相关论文
共 50 条
  • [1] A goal-driven approach to enterprise component identification and specification
    Levi, K
    Arsanjani, A
    [J]. COMMUNICATIONS OF THE ACM, 2002, 45 (10) : 45 - 52
  • [2] An automated approach for goal-driven, specification-based testinga
    Winbladh, Kristina
    Alspaugh, Thomas A.
    Ziv, Hadar
    Richardson, Debra J.
    [J]. ASE 2006: 21ST IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2006, : 289 - 292
  • [3] Relationship Specification in Z-Notation
    Dimitrov, V.
    [J]. PHYSICS OF PARTICLES AND NUCLEI LETTERS, 2011, 8 (04) : 391 - 394
  • [4] EDT: A Specification Notation for Reactive Systems
    Venkatesh, R.
    Shrotri, Ulka
    Krishna, G. Murali
    Agrawal, Supriya
    [J]. 2014 DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION (DATE), 2014,
  • [5] GDIT - Tool for the design, specification and generation of goals driven user interfaces
    Carrillo, Antonio
    Falgueras, Juan
    Guevara, Antonio
    [J]. ICEIS 2006: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: HUMAN-COMPUTER INTERACTION, 2006, : 135 - +
  • [6] NOTATION AND FORMULAE FOR DOSE SPECIFICATION AND CALCULATIONS IN RADIOTHERAPY
    KARZMARK, CJ
    DEUBERT, A
    LOEVINGER, R
    STEED, PR
    [J]. BRITISH JOURNAL OF RADIOLOGY, 1966, 39 (462): : 476 - +
  • [7] A hybrid state machine notation for component specification
    Sakharov, A
    [J]. ACM SIGPLAN NOTICES, 2000, 35 (04) : 51 - 56
  • [8] Use of the Goal Structuring Notation (GSN) as Generic Notation for an "EMC Assurance Case"
    Pissoort, Davy
    Bultinck, Theresa
    Boydens, Jeroen
    Catrysse, Johan
    [J]. 2019 INTERNATIONAL SYMPOSIUM ON ELECTROMAGNETIC COMPATIBILITY (EMC EUROPE 2019), 2019, : 465 - 469
  • [9] Mathematical notation in formal specification: Too difficult for the masses?
    Finney, K
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1996, 22 (02) : 158 - 159
  • [10] Semantic Web Specification using Z-Notation
    Khan, Sher Afzal
    Hashmi, Aamir Aziz
    Alhumaidan, Fahad
    Zafar, Nazir Ahmad
    [J]. LIFE SCIENCE JOURNAL-ACTA ZHENGZHOU UNIVERSITY OVERSEAS EDITION, 2012, 9 (04): : 994 - 1000
12345