Formal methods for interactive systems

被引：0
|
作者：
Cerone, Antonio [1 ]
Curzon, Paul [2 ]
机构：
[1] United Nations Univ, Int Inst Software Technol, Macau, Peoples R China
[2] Queen Mary Univ London, Dept Comp Sci, London E1 4NS, England
来源：
INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING | 2008年 / 4卷 / 02期
基金：
英国工程与自然科学研究理事会;
关键词：
D O I：
10.1007/s11334-008-0051-6
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：123 / 123
页数：1
相关论文
共 50 条
  • [1] Formal methods for interactive systems
    Antonio Cerone
    Paul Curzon
    [J]. Innovations in Systems and Software Engineering, 2008, 4 (2) : 123 - 123
  • [2] Special Issue: Formal Methods for Interactive Systems Preface
    Reeves, Steve
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2015, 11 (02) : 71 - 71
  • [3] Formal Methods for Interactive Systems: A Research Field in Between HCI, Formal Methods and Software Engineering
    Ait-Ameur, Yamine
    Palanque, Philippe
    [J]. SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS, 2018, 11176 : 202 - 204
  • [4] Formal modelling of interactive systems
    Goldson, D
    [J]. FIRST ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2000, : 207 - 215
  • [5] The formal specification of interactive systems
    Harrison, MD
    [J]. SOFTWARE ENGINEERING JOURNAL, 1996, 11 (06): : 322 - 322
  • [6] Formal interactive systems analysis and usability inspection methods: Two incompatible worlds?
    Loer, K
    Harrison, M
    [J]. INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, 2001, 1946 : 169 - 190
  • [7] Towards a Formal Representation of Interactive Systems
    Banu-Demergian, Iulia Teodora
    Stefanescu, Gheorghe
    [J]. FUNDAMENTA INFORMATICAE, 2014, 131 (3-4) : 313 - 336
  • [8] Formal usability evaluation of interactive systems
    Hamacher, N
    Marrenbach, J
    Kraiss, KF
    [J]. ANALYSIS, DESIGN AND EVALUATION OF HUMAN-MACHINE SYSTEMS 2001, 2002, : 499 - 503
  • [9] EFS - AN INTERACTIVE ENVIRONMENT FOR FORMAL SYSTEMS
    GRIFFIN, TG
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 310 : 740 - 741
  • [10] Formal Testing of Multimodal Interactive Systems
    Bouchet, Jullien
    Madani, Laya
    Nigay, Laurence
    Oriat, Catherine
    Parissis, Ioannis
    [J]. ENGINEERING INTERACTIVE SYSTEMS, 2008, 4940 : 36 - 52
12345