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 条
  • [31] Experiences in Applying Formal Verification in Robotics
    Walter, Dennis
    Taeubig, Holger
    Lueth, Christoph
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, 2010, 6351 : 347 - 360
  • [32] A formal software synthesis approach for embedded hard real-time systems
    Barreto, R
    Oliveira, M
    Tavares, E
    Neves, M
    Maciel, P
    Lima, R
    SBCCI2004:17TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, PROCEEDINGS, 2004, : 163 - 168
  • [33] Applying Software Defined Methodologies to Software Computing
    Chu, William Cheng-Chung q
    Chang, Chih-Hung
    Huang, Yen-Hua
    Hsu, Tse-Chuan
    PROCEEDINGS 2016 THIRD INTERNATIONAL CONFERENCE ON TRUSTWORTHY SYSTEMS AND THEIR APPLICATIONS (TSA), 2016, : 29 - 35
  • [34] Formal methods and software reliability
    Holzmann, GJ
    SECOND ACM AND IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2004, : 145 - 146
  • [35] Formal approaches to software testing
    Dasiewicz, P
    IEEE CCEC 2002: CANADIAN CONFERENCE ON ELECTRCIAL AND COMPUTER ENGINEERING, VOLS 1-3, CONFERENCE PROCEEDINGS, 2002, : 697 - 702
  • [36] Formal Validation of Software Requirement
    Li Zhen
    Liu Bin
    Yin Yongfeng
    PROCEEDINGS OF THE SECOND INTERNATIONAL SYMPOSIUM ON TEST AUTOMATION AND INSTRUMENTATION, VOL 4, 2008, : 2004 - 2008
  • [37] A Pyramid Of (Formal) Software Verification
    Brain, Martin
    Polgreen, Elizabeth
    FORMAL METHODS, PT II, FM 2024, 2025, 14934 : 393 - 419
  • [38] Software engineering and formal methods
    Bernhard Aichernig
    Bernhard Beckert
    Software & Systems Modeling, 2008, 7 : 255 - 256
  • [39] Formal Methods and Software Engineering
    Serna Montoya, Edgar
    REVISTA VIRTUAL UNIVERSIDAD CATOLICA DEL NORTE, 2010, 30 : 158 - 184
  • [40] Software engineering and formal methods
    Hinchey, Mike
    Jackson, Michael
    Cousot, Patrick
    Cook, Byron
    Bowen, Jonathan P.
    Margaria, Tiziana
    COMMUNICATIONS OF THE ACM, 2008, 51 (09) : 54 - 59
12345