A SOFTWARE ENGINEERING PARADIGM FOR PROGRAM SYNTHESIS

被引：2
|
作者：
WILLIS, C [1 ]
PADDON, D [1 ]
机构：
[1] UNIV BRISTOL,DEPT COMP SCI,BRISTOL BS8 1TW,AVON,ENGLAND
来源：
SOFTWARE ENGINEERING JOURNAL | 1994年 / 9卷 / 05期
关键词：
Algorithms - Computer systems programming - Error correction - Mathematical transformations - Optimization - Program debugging - Program diagnostics - Software engineering;
D O I：
10.1049/sej.1994.0027
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The past study of program synthesis has mainly concentrated on attempting to synthesis programs by duplicating human methods for constructing programs, such as top-down design. Here we do not attempt this process but instead use a simple method that is based on sound software engineering practice. Knuth-Bendix completion is used in the synthesis process but without the need for the exhaustive completion of program axioms against each other. A software engineering framework is used to reduce the pairs of completed program axioms to the optimum for synthesising the required program. Examples of program synthesis are given and contrasted with an ad hoc method of synthesis.
引用
收藏
页码：213 / 220
页数：8
相关论文
共 50 条
  • [1] Towards a paradigm change in computer science and software engineering: a synthesis
    Zambonelli, F
    Parunak, HV
    [J]. KNOWLEDGE ENGINEERING REVIEW, 2003, 18 (04): : 329 - 342
  • [2] A NEW PARADIGM FOR SOFTWARE ENGINEERING
    HOLMBERG, SC
    [J]. BEHAVIORAL SCIENCE, 1993, 38 (04): : 293 - 300
  • [3] Changing the paradigm of software engineering
    Rajlich, Vaclav
    [J]. COMMUNICATIONS OF THE ACM, 2006, 49 (08) : 67 - 70
  • [4] Towards Software Engineering Paradigm for Software as a Service
    Baliyan, Niyati
    Kumar, Sandeep
    [J]. 2014 SEVENTH INTERNATIONAL CONFERENCE ON CONTEMPORARY COMPUTING (IC3), 2014, : 329 - 333
  • [5] An Introductory Software Engineering Course for Software Engineering Program
    Shao, Dong
    Luo, Bin
    Ding, Eryu
    Liu, Qin
    [J]. 2011 24TH IEEE-CS CONFERENCE ON SOFTWARE ENGINEERING EDUCATION AND TRAINING (CSEET), 2011, : 411 - 415
  • [6] Software Production: A New Paradigm for Software Engineering Research
    Brinkkemper, Sjaak
    [J]. SOFSEM 2013: Theory and Practice of Computer Science, 2013, 7741 : 51 - 51
  • [7] AI Techniques in Software Engineering Paradigm
    Lyu, Michael R.
    [J]. PROCEEDINGS OF THE 2018 ACM/SPEC INTERNATIONAL CONFERENCE ON PERFORMANCE ENGINEERING (ICPE '18), 2018, : 2 - 2
  • [8] THE MANAGEMENT OF SOFTWARE ENGINEERING .2. SOFTWARE ENGINEERING PROGRAM
    ONEILL, D
    [J]. IBM SYSTEMS JOURNAL, 1980, 19 (04) : 421 - 431
  • [9] AN UNDERGRADUATE PROGRAM IN SOFTWARE ENGINEERING
    BOTT, MF
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 423 : 38 - 48
  • [10] A NEW PROGRAMMING PARADIGM FOR ENGINEERING DESIGN SOFTWARE
    SALUSTRI, FA
    VENTER, RD
    [J]. ENGINEERING WITH COMPUTERS, 1994, 10 (02) : 95 - 111
12345