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 条
  • [1] Formal specification of concurrent systems
    Chadha, HS
    Baugh, JW
    Wing, JM
    [J]. ADVANCES IN ENGINEERING SOFTWARE, 1999, 30 (03) : 211 - 224
  • [2] The formal specification of interactive systems
    Harrison, MD
    [J]. SOFTWARE ENGINEERING JOURNAL, 1996, 11 (06): : 322 - 322
  • [3] FORMAL SPECIFICATION OF OBJECT SYSTEMS
    JUNGCLAUS, R
    SAAKE, G
    SERNADAS, C
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 494 : 60 - 82
  • [4] FORMAL SPECIFICATION AND VERIFICATION OF MICROPROCESSOR SYSTEMS
    JOYCE, JJ
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 371 - 378
  • [5] Formal specification method for systems automation
    Petin, Jean-Francois
    Morel, Gerard
    Panetto, Herve
    [J]. EUROPEAN JOURNAL OF CONTROL, 2006, 12 (02) : 115 - 130
  • [6] Formal specification and prototyping of CORBA systems
    Bastide, R
    Sy, O
    Palanque, P
    [J]. ECOOP'99 - OBJECT-ORIENTED PROGRAMMING, 1999, 1628 : 474 - 494
  • [7] FORMAL SPECIFICATION METHODS FOR REACTIVE SYSTEMS
    FURBACH, U
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1993, 21 (02) : 129 - 139
  • [8] FORMAL TECHNIQUES FOR SYSTEMS SPECIFICATION AND VERIFICATION
    CARMO, J
    SERNADAS, A
    [J]. INFORMATION SYSTEMS, 1991, 16 (03) : 245 - 272
  • [9] Formal specification and analysis of distributed systems
    Pranevicius, H
    [J]. JOURNAL OF INTELLIGENT MANUFACTURING, 1998, 9 (06) : 559 - 569
  • [10] A framework for formal specification of embedded systems
    Bures, F
    Rysavy, O
    Scuglik, F
    Sveda, M
    [J]. 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, Proceedings, 2005, : 323 - 330
12345