APPLYING FORMAL SOFTWARE SYNTHESIS

被引：5
|
作者：
JULLIG, RK
机构：
来源：
IEEE SOFTWARE | 1993年 / 10卷 / 03期
关键词：
D O I：
10.1109/52.210596
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
[No abstract available]
引用
收藏
页码：11 / 22
页数：12
相关论文
共 50 条
  • [21] Formal synthesis of application and platform behaviors of embedded software systems
    Jinhyun Kim
    Inhye Kang
    Jin-Young Choi
    Insup Lee
    Sungwon Kang
    Software & Systems Modeling, 2015, 14 : 839 - 859
  • [22] Applying Formal Methods in the Large
    Bolignano, Dominique
    INTERACTIVE THEOREM PROVING, ITP 2013, 2013, 7998 : 1 - 1
  • [23] Applying formal specification in industry
    Larsen, PG
    Fitzgerald, J
    Brookes, T
    IEEE SOFTWARE, 1996, 13 (03) : 48 - +
  • [24] Software (Formal methods)
    NZ Eng, 5 (18):
  • [25] Scaling the Formal Synthesis of Supervisory Control Software for Multiple Robot Systems
    Hill, R. C.
    Lafortune, S.
    2017 AMERICAN CONTROL CONFERENCE (ACC), 2017, : 3840 - 3847
  • [26] Formal synthesis and code generation of embedded real-time software
    Hsiung, PA
    PROCEEDINGS OF THE NINTH INTERNATIONAL SYMPOSIUM ON HARDWARE/SOFTWARE CODESIGN, 2001, : 208 - 213
  • [27] Applying software FMEA
    Zenzen, F
    Twaites, G
    Keats, JB
    Fowler, JW
    NINTH ISSAT INTERNATIONAL CONFERENCE ON RELIABILITY AND QUALITY IN DESIGN, 2003 PROCEEDINGS, 2003, : 241 - 244
  • [28] On Applying Model Checking in Formal Verification
    Hjort, Hakan
    2022 FORMAL METHODS IN COMPUTER-AIDED DESIGN, FMCAD, 2022, 3 : 3 - 3
  • [29] Applying Formal Methods to Process Innovation
    Santone, Antonella
    Tortorella, Maria
    ADVANCES IN SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 59 : 135 - 142
  • [30] Applying formal verification with protocol compiler
    Stangier, C
    Holtmann, U
    EUROMICRO SYMPOSIUM ON DIGITAL SYSTEMS DESIGN, PROCEEDINGS, 2001, : 165 - 169
12345