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] Software engineering and formal methods
    Bernhard Aichernig
    Bernhard Beckert
    Software & Systems Modeling, 2008, 7 : 255 - 256
  • [38] Formal Methods and Software Engineering
    Serna Montoya, Edgar
    REVISTA VIRTUAL UNIVERSIDAD CATOLICA DEL NORTE, 2010, 30 : 158 - 184
  • [39] Software engineering and formal methods
    Aichernig, Bernhard
    Beckert, Bernhard
    SOFTWARE AND SYSTEMS MODELING, 2008, 7 (03): : 255 - 256
  • [40] Formal software development in MAYA
    Hutter, Dieter
    Autexier, Serge
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2005, 2605 LNAI : 407 - 432
12345