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 条
  • [1] Applying formal methods to software reuse
    Houhamdi, Z
    1st International Industrial Simulation Conference 2003, 2003, : 62 - 67
  • [2] Applying software metrics to formal specifications: A cognitive approach
    Vinter, R
    Loomes, M
    Kornbrot, D
    FIFTH INTERNATIONAL SOFTWARE METRICS SYMPOSIUM - METRICS 1998, PROCEEDINGS, 1998, : 216 - 223
  • [3] Applying formal methods to a certifiably secure software system
    Heitmeyer, Constance L.
    Archer, Myla M.
    Leonard, Elizabeth I.
    McLean, John D.
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2008, 34 (01) : 82 - 98
  • [4] Applying formal description techniques to software architectural design
    Li, JJ
    Horgan, JR
    COMPUTER COMMUNICATIONS, 2000, 23 (12) : 1169 - 1178
  • [5] A survey: Applying formal methods to a software intensive system
    de Groot, A
    Hooman, J
    Kordon, F
    Paviot-Adet, E
    Mounier, I
    Lemoine, M
    Gaudiere, G
    Winter, VL
    Kapur, D
    SIXTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, 2001, : 55 - 64
  • [6] Applying formal specifications to real-world software development
    Palshikar, GK
    IEEE SOFTWARE, 2001, 18 (06) : 89 - +
  • [7] Applying an operational formal method throughout software engineering education
    Sobel, AEK
    INFORMATION AND SOFTWARE TECHNOLOGY, 1998, 40 (04) : 233 - 238
  • [8] APPLYING ABSTRACTION AND FORMAL SPECIFICATION IN NUMERICAL SOFTWARE-DESIGN
    TENCATE, HH
    COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1995, 29 (12) : 81 - 102
  • [9] Applying formal proof techniques to avionics software: A pragmatic approach
    Randimbivololona, F
    Souyris, J
    Baudin, P
    Pacalet, A
    Raguideau, J
    Schoen, D
    FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1798 - 1815
  • [10] JAHUEL:: A formal framework for software synthesis
    Assayad, I
    Bertin, V
    Defaut, FX
    Gerner, P
    Quévreux, O
    Yovine, S
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2005, 3785 : 204 - 218
12345