FORMAL SPECIFICATION OF DIALOG SYSTEMS

被引：0
|
作者：
STUDER, R [1 ]
机构：
[1] UNIV STUTTGART,INST INFORMAT,D-7000 STUTTGART 1,FED REP GER
来源：
TSI-TECHNIQUE ET SCIENCE INFORMATIQUES | 1984年 / 3卷 / 05期
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：335 / 343
页数：9
相关论文
共 50 条
  • [31] A Formal specification model for survivability in pervasive systems
    Ayara, A.
    Najjar, F.
    [J]. PROCEEDINGS OF THE 2008 INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS, 2008, : 444 - +
  • [32] Semi-Formal and Formal Interface Specification for System of Systems Architecture
    Bryans, Jeremy
    Payne, Richard
    Holt, Jon
    Perry, Simon
    [J]. 2013 7TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON 2013), 2013, : 612 - 619
  • [33] Formal Specification and Analysis of Timing Properties in Software Systems
    AlTurki, Musab
    Dhurjati, Dinakar
    Yu, Dachuan
    Chander, Ajay
    Inamura, Hiroshi
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 5503 : 262 - +
  • [34] Specification of distributed systems with a combination of graphical and formal languages
    Johnsen, EB
    Zhang, WH
    Owe, O
    Aredo, DB
    [J]. APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 105 - 108
  • [35] TOWARD A FORMAL SPECIFICATION OF MENU-BASED SYSTEMS
    ARTHUR, JD
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1987, 7 (01) : 73 - 82
  • [36] Analysis of the Formal Specification Application for Train Control Systems
    Jo, Hyun-Jeong
    Yoon, Yong-Ki
    Hwang, Jong-Gyu
    [J]. JOURNAL OF ELECTRICAL ENGINEERING & TECHNOLOGY, 2009, 4 (01) : 87 - 92
  • [37] Formal Specification and Verification of Multi-Agent Systems
    Bourahla, Mustapha
    Benmohamed, Mohamed
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 123 : 5 - 17
  • [38] AN APPROACH TO THE FORMAL SPECIFICATION OF COMPUTER-GRAPHICS SYSTEMS
    CARSON, GS
    [J]. COMPUTERS & GRAPHICS, 1984, 8 (01) : 51 - 57
  • [39] Towards a Formal Specification Framework for Manufacturing Execution Systems
    Witsch, Maria
    Vogel-Heuser, Birgit
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2012, 8 (02) : 311 - 320
  • [40] Formal specification of beliefs in multi-agent systems
    Benerecetti, M
    Giunchiglia, E
    Serafini, L
    Villafiorita, A
    [J]. INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1999, 14 (10) : 1021 - 1040
12345