Control Software Synthesis from System Level Formal Specifications

被引：0
|
作者：
Tronci, Enrico [1 ]
机构：
[1] Sapienza Univ Rome, Rome, Italy
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2013年 / 138期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页数：1
相关论文
共 50 条
  • [1] Model-Based Synthesis of Control Software from System-Level Formal Specifications
    Mari, Federico
    Melatti, Igor
    Salvo, Ivano
    Tronci, Enrico
    [J]. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2014, 23 (01)
  • [2] Software system integration methodology using formal specifications
    Hartrum, TC
    Nonnweiler, JC
    [J]. PROCEEDINGS OF THE 44TH IEEE 2001 MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1 AND 2, 2001, : 674 - 677
  • [3] Hardware/software synthesis of formal specifications in codesign of embedded systems
    Carchiolo, V
    Malgeri, M
    Mangioni, G
    [J]. ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2000, 5 (03) : 399 - 432
  • [4] Formal specifications of the European Train Control System
    Janhsen, A
    Lemmer, K
    Ptok, B
    Schnieder, E
    [J]. TRANSPORTATION SYSTEMS 1997, VOLS 1-3, 1997, : 1139 - 1144
  • [5] Automatic synthesis of controllers from formal specifications
    Tronci, E
    [J]. SECOND INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1998, : 134 - 143
  • [6] USING FORMAL SPECIFICATIONS TO SUPPORT SOFTWARE
    HORCHER, HM
    PELESKA, J
    [J]. SOFTWARE QUALITY JOURNAL, 1995, 4 (04) : 309 - 327
  • [7] Method for generating software architecture models from formal specifications
    Zhu Y.
    Huang Z.-Q.
    Cao Z.-N.
    Zhou H.
    Liu Y.-P.
    [J]. Ruan Jian Xue Bao/Journal of Software, 2010, 21 (11): : 2738 - 2751
  • [8] A formal validation approach for holonic control system specifications
    Leitao, P
    Colombo, AW
    Restivo, F
    [J]. ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS, 2003, : 203 - 210
  • [9] AUTOMATIC DERIVATION OF FORMAL SOFTWARE SPECIFICATIONS FROM INFORMAL DESCRIPTIONS
    MIRIYALA, K
    HARANDI, MT
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (10) : 1126 - 1142
  • [10] From Healthcare System Specifications to Formal Models
    Clavel, Daniel
    Mahulea, Cristian
    Silva, Manuel
    [J]. 2019 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC), 2019, : 2344 - 2351
12345