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 条
  • [21] FORMAL SPECIFICATION OF INFORMATION-SYSTEMS REQUIREMENTS
    KAMPFNER, RR
    [J]. INFORMATION PROCESSING & MANAGEMENT, 1985, 21 (05) : 401 - 414
  • [22] Formal Specification and Verification of Ubiquitous and Pervasive Systems
    Coronato, Antonio
    De Pietro, Giuseppe
    [J]. ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, 2011, 6 (01)
  • [23] An approach to the formal specification of holonic control systems
    Leitao, P
    Colombo, AW
    Restivo, F
    [J]. HOLONIC AND MULTI-AGENT SYSTEMS FOR MANUFACTURING, 2003, 2744 : 59 - 70
  • [24] Formal Specification and Verification of Mobile Agent Systems
    Kahloul, L.
    Grira, M.
    [J]. INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 2014, 9 (03) : 292 - 304
  • [25] A formal approach for the specification of communications in distributed systems
    Georgelin, P
    Pierre, L
    Nguyen, T
    [J]. PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS, 2000, : 393 - 398
  • [26] Reactive systems developing by formal specification transformations
    Attoui, A
    Hasbani, A
    [J]. EIGHTH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 1997, : 339 - 344
  • [27] Discussion on: "Formal specification method for systems automation"
    Zaytoon, Janan
    Valero, V.
    Cambronero, M. E.
    Petin, J. -F.
    Morel, G.
    Panetto, H.
    [J]. EUROPEAN JOURNAL OF CONTROL, 2006, 12 (02) : 131 - 134
  • [28] Formal specification of concurrent systems: A structured approach
    Mazzeo, A
    Mazzocca, N
    Russo, S
    Savy, C
    Vittorini, V
    [J]. COMPUTER JOURNAL, 1998, 41 (03): : 145 - 162
  • [29] FORMAL SPECIFICATION OF REAL-TIME SYSTEMS
    GORSKI, J
    [J]. COMPUTER PHYSICS COMMUNICATIONS, 1988, 50 (1-2) : 71 - 88
  • [30] Formal specification of concurrent finite element systems
    Chadha, HS
    Baugh, JW
    [J]. ANALYSIS AND COMPUTATION, 1996, : 166 - 176
12345