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 条
  • [21] Formal specification and analysis of distributed systems
    HENRIKAS PRANEVICIUS
    [J]. Journal of Intelligent Manufacturing, 1998, 9 : 559 - 569
  • [22] Reusable formal specification for embedded systems
    Arichika, Y
    Araki, K
    [J]. 11TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2004, : 557 - 558
  • [23] Formal methods for interactive systems
    Cerone, Antonio
    Curzon, Paul
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2008, 4 (02) : 123 - 123
  • [24] Formal modelling of interactive systems
    Goldson, D
    [J]. FIRST ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2000, : 207 - 215
  • [25] Formal methods for interactive systems
    Antonio Cerone
    Paul Curzon
    [J]. Innovations in Systems and Software Engineering, 2008, 4 (2) : 123 - 123
  • [26] FORMAL SPECIFICATION OF INTERACTIVE LANGUAGES USING DEFINITE CLAUSE GRAMMARS
    DANG, WD
    CRIL, SA
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 348 : 283 - 291
  • [27] FORMAL SPECIFICATION OF MULTILINGUAL ALPHANUMERIC ORDERING SYSTEMS
    GAITANIS, N
    KOKKOTOS, S
    [J]. COMPUTER STANDARDS & INTERFACES, 1995, 17 (5-6) : 535 - 552
  • [28] Formal specification of symbolic-probabilistic systems
    López, N
    Núñez, M
    Rodríguez, I
    [J]. APPLYING FORMAL METHODS: TESTING, PERFORMANCE, AND M/E- COMMERCE, PROCEEDINGS, 2004, 3236 : 114 - 127
  • [29] On Methods for the Formal Specification of Fault Tolerant Systems
    Mazzara, Manuel
    [J]. PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON DEPENDABILITY (DEPEND 2011), 2011, : 72 - 81
  • [30] FORMAL SPECIFICATION OF INFORMATION-SYSTEMS REQUIREMENTS
    KAMPFNER, RR
    [J]. INFORMATION PROCESSING & MANAGEMENT, 1985, 21 (05) : 401 - 414
12345