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 条
  • [31] A Language for Biochemical Systems: Design and Formal Specification
    Pedersen, Michael
    Plotkin, Gordon D.
    [J]. TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY XII, 2010, 5945 : 77 - 145
  • [32] 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)
  • [33] 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
  • [34] Formal Specification and Verification of Mobile Agent Systems
    Kahloul, L.
    Grira, M.
    [J]. INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 2014, 9 (03) : 292 - 304
  • [35] 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
  • [36] 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
  • [37] 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
  • [38] FORMAL SPECIFICATION OF REAL-TIME SYSTEMS
    GORSKI, J
    [J]. COMPUTER PHYSICS COMMUNICATIONS, 1988, 50 (1-2) : 71 - 88
  • [39] 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
  • [40] 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 - +
12345