The formal specification of interactive systems

被引：0
|
作者：
Harrison, MD
机构：
来源：
SOFTWARE ENGINEERING JOURNAL | 1996年 / 11卷 / 06期
关键词：
D O I：
10.1049/sej.1996.0042
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：322 / 322
页数：1
相关论文
共 50 条
  • [1] Interactive formal specification for efficient preparation of intelligent automation systems
    Dahl, Martin
    Larsen, Christian
    Eros, Endre
    Bengtsson, Kristofer
    Fabian, Martin
    Falkman, Petter
    [J]. CIRP JOURNAL OF MANUFACTURING SCIENCE AND TECHNOLOGY, 2022, 38 : 129 - 138
  • [2] Using the B formal approach for incremental specification design of interactive systems
    Aït-Ameur, Y
    Girard, P
    Jambon, F
    [J]. ENGINEERING FOR HUMAN-COMPUTER INTERACTION, 1999, 22 : 91 - 109
  • [3] Formal specification as a tool for objective assessment of safety-critical interactive systems
    Palanque, P
    Bastide, R
    Paterno, F
    [J]. HUMAN-COMPUTER INTERACTION - INTERACT '97, 1997, : 323 - 330
  • [4] Formal specification and refinement for an interactive Web example
    van Coppenhagen, Ingrid
    Dwolatzky, Barry
    [J]. WEBIST 2006: PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS AND TECHNOLOGIES: INTERNET TECHNOLOGY / WEB INTERFACE AND APPLICATIONS, 2006, : 89 - +
  • [5] EPVD - AN INTERACTIVE PROTOCOL SPECIFICATION AND VALIDATION ENVIRONMENT IN ESTELLE FORMAL SPECIFICATION
    HUANG, KC
    NAIN, TS
    HSIEH, WS
    YANG, CS
    LU, CS
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1992, 35 (1-5): : 71 - 77
  • [6] Formal specification of concurrent systems
    Chadha, HS
    Baugh, JW
    Wing, JM
    [J]. ADVANCES IN ENGINEERING SOFTWARE, 1999, 30 (03) : 211 - 224
  • [7] FORMAL SPECIFICATION OF DIALOG SYSTEMS
    STUDER, R
    [J]. TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1984, 3 (05): : 335 - 343
  • [8] FORMAL SPECIFICATION OF OBJECT SYSTEMS
    JUNGCLAUS, R
    SAAKE, G
    SERNADAS, C
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 494 : 60 - 82
  • [9] A Formal Approach based on Fuzzy Logic for the Specification of Component-Based Interactive Systems
    Koutsoumpas, Vasileios
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (178): : 62 - 76
  • [10] FORMAL SPECIFICATION AND VERIFICATION OF MICROPROCESSOR SYSTEMS
    JOYCE, JJ
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 371 - 378
12345