DESIGN SYNTHESIS IN VLSI AND SOFTWARE ENGINEERING

被引：0
|
作者：
CUYKENDALL, R
DOMIC, A
JOYNER, WH
JOHNSON, SC
KELEM, S
MCBRIDE, D
MOSTOW, J
SAVAGE, JE
SAUCIER, G
机构：
[1] BROWN UNIV, DEPT COMP SCI, PROVIDENCE, RI 02912 USA
[2] CALTECH, JET PROP LAB, PASADENA, CA 91109 USA
[3] IBM CORP, THOMAS J WATSON RES CTR, YORKTOWN HTS, NY 10598 USA
[4] BELL TEL LABS INC, MURRAY HILL, NJ 07974 USA
[5] AEROSPACE CORP, TECH STAFF, LOS ANGELES, CA 90009 USA
[6] UNIV SO CALIF, INST INFORMAT SCI, MARINA DEL REY, CA 90291 USA
[7] LAB INFORMAT & MATH APPL GRENOBLE, GRENOBLE, FRANCE
[8] MIT, LINCOLN LAB, SPEECH SYST TECHNOL GRP, TECH STAFF, LEXINGTON, MA 02173 USA
来源：
JOURNAL OF SYSTEMS AND SOFTWARE | 1984年 / 4卷 / 01期
关键词：
D O I：
10.1016/0164-1212(84)90017-7
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：7 / 12
页数：6
相关论文
共 50 条
  • [21] SOFTWARE CHECKS TESTABILITY AND GENERATES TESTS OF VLSI DESIGN.
    Kirkland, Tom
    Flores, Victor
    1983, (56):
  • [22] APPLICATION OF A TRANSFORMATIONAL SOFTWARE-DEVELOPMENT METHODOLOGY TO VLSI DESIGN
    MOSTOW, J
    BALZER, B
    JOURNAL OF SYSTEMS AND SOFTWARE, 1984, 4 (01) : 51 - 61
  • [23] Software engineering as the design theoretic transformation of software problems
    Hall, Jon G.
    Rapanotti, Lucia
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2012, 8 (03) : 175 - 193
  • [24] Logic programming and software engineering - implications for software design
    Case Western Reserve Univ, Cleveland, United States
    Knowl Eng Rev, 4 (333-345):
  • [25] Logic programming and software engineering - Implications for software design
    Sterling, L
    Yalcinalp, U
    KNOWLEDGE ENGINEERING REVIEW, 1996, 11 (04): : 333 - 345
  • [26] Problem oriented software engineering: A design-theoretic framework for software engineering
    Hall, Jon G.
    Rapanotti, Lucia
    Jackson, Michael
    SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 15 - 24
  • [27] Synthesis of Design Parameters for the Transfer of Agility from Software Engineering to Process Management
    Lederer, Matthias
    Schmidt, Werner
    Popova, Oleksandra
    2019 45TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2019), 2019, : 426 - 433
  • [28] Design Requirements in Software and Engineering Systems
    Eleiche, A. M.
    Ahmad, I.
    Elish, M. O.
    INDUSTRIAL ENGINEERING AND MANAGEMENT SYSTEMS, 2012, 11 (01): : 70 - 81
  • [29] THE EVALUATION OF OPTIMIZATION SOFTWARE FOR ENGINEERING DESIGN
    RAGSDELL, KM
    LECTURE NOTES IN ECONOMICS AND MATHEMATICAL SYSTEMS, 1982, 199 : 358 - 379
  • [30] Software Engineering General Design Research
    Wang, Zhuyun
    ELECTRONIC INFORMATION AND ELECTRICAL ENGINEERING, 2012, 19 : 517 - 520
12345