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] 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
  • [23] APPLICATION OF A TRANSFORMATIONAL SOFTWARE-DEVELOPMENT METHODOLOGY TO VLSI DESIGN
    MOSTOW, J
    BALZER, B
    JOURNAL OF SYSTEMS AND SOFTWARE, 1984, 4 (01) : 51 - 61
  • [24] Logic programming and software engineering - Implications for software design
    Sterling, L
    Yalcinalp, U
    KNOWLEDGE ENGINEERING REVIEW, 1996, 11 (04): : 333 - 345
  • [25] Logic programming and software engineering - implications for software design
    Case Western Reserve Univ, Cleveland, United States
    Knowl Eng Rev, 4 (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] A design experiment for software engineering curriculum
    Wang, XHS
    Boyd, WS
    SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 761 - 765
  • [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