FORMALIZING THE DESIGN OF AN SECD CHIP

被引：0
|
作者：
GRAHAM, B
BIRTWISTLE, G
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 408卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：40 / 66
页数：27
相关论文
共 50 条
  • [1] Formalizing design patterns
    Mikkonen, T
    PROCEEDINGS OF THE 1998 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1998, : 115 - 124
  • [2] Formalizing over design and under design
    Duan, Yucong
    Gao, Honghao
    Li, Jingbing
    Huang, Mengxing
    International Journal of Multimedia and Ubiquitous Engineering, 2015, 10 (12): : 279 - 288
  • [3] Formalizing software design pattern in Z
    School of Computer, Shanghai University, Shanghai 200072, China
    Jisuanji Gongcheng, 2006, 13 (69-70+108):
  • [4] Formalizing a design technique for distributed programs
    Polman, M
    vanSteen, M
    deBruin, A
    SECOND INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1997, : 150 - 159
  • [5] IDEA: Formalizing the foundation for an engineering design education
    McKenna, AF
    Colgate, JE
    Carr, SH
    Olson, GB
    INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION, 2006, 22 (03) : 671 - 678
  • [6] Formalizing Design Guidelines of Legibility on Web Pages
    Fu, Fong-Ling
    Su, Chiu-Hung
    HUMAN INTERFACE AND THE MANAGEMENT OF INFORMATION: INFORMATION AND INTERACTION, PT II, 2009, 5618 : 17 - 25
  • [7] Formalizing and Exploring the Transferability of Inclusive Design Rules
    Sangelkar, Shraddha
    McAdams, Daniel A.
    JOURNAL OF MECHANICAL DESIGN, 2013, 135 (09)
  • [8] A Design Thinking Process Model for Capturing and Formalizing Design Intents
    Sun, Zhaoyang
    Liu, Jihong
    PROCEEDINGS OF THE 2008 INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND DESIGN, VOL 2, 2008, : 330 - 333
  • [9] FORMALIZING DESIGN SPACES - IMPLICIT INVOCATION MECHANISMS
    GARLAN, D
    NOTKIN, D
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 31 - 44
  • [10] An Approach for Modeling and Formalizing SOA Design Patterns
    Tounsi, Imen
    Hadj Kacem, Mohamed
    Hadj Kacem, Ahmed
    2013 IEEE 22ND INTERNATIONAL WORKSHOP ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE), 2013, : 330 - 335
12345