Software rapid prototyping based on formal methods

被引：0
|
作者：
机构：
来源：
Zhejiang Daxue Xuebao Ziran Kexue Ban | / 6卷 / 783-791期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Software for rapid prototyping
    不详
    MECHANICAL ENGINEERING, 1996, 118 (06) : 16 - &
  • [2] PROTOTYPING AND RAPID INTEGRATION METHODS FOR INTELLIGENT NETWORK SERVICE SOFTWARE
    CHABERNAUD, C
    PENNANECH, JC
    ONDE ELECTRIQUE, 1991, 71 (05): : 16 - 22
  • [3] KNOWLEDGE-BASED SUPPORT FOR RAPID SOFTWARE PROTOTYPING
    LUQI
    IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1988, 3 (04): : 9 - &
  • [4] VRML-based slicing software in rapid prototyping
    Sun, Yu
    Li, Zhanh
    2008 PROCEEDINGS OF INFORMATION TECHNOLOGY AND ENVIRONMENTAL SYSTEM SCIENCES: ITESS 2008, VOL 2, 2008, : 1213 - 1216
  • [5] A Formal Method for Rapid SoC Prototyping
    Pavlatos, Christos
    Dimopoulos, Alexandros C.
    Papakonstantinou, George
    RSP 2009: TWENTIETH IEEE/IFIP INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS: SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 2009, : 34 - 37
  • [6] Rapid prototyping using formal specifications
    Winikoff, M
    Dart, P
    Kazmierczak, E
    PROCEEDINGS OF THE 21ST AUSTRALASIAN COMPUTER SCIENCE CONFERENCE, ACSC'98, 1998, 20 (01): : 279 - 293
  • [7] INTERACTIVE GRAPHICS BASED SOFTWARE TOOLS FOR RAPID PROTOTYPING
    LORD, WP
    PHILIPS JOURNAL OF RESEARCH, 1986, 41 (02) : 191 - 204
  • [8] SOFTWARE-DEVELOPMENT BASED ON FORMAL METHODS
    JONES, CB
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 275 : 153 - 172
  • [9] Application software system based on direct slicing for rapid prototyping
    Shi, Y
    Chen, X
    Cai, D
    Huang, S
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2004, 42 (11) : 2227 - 2242
  • [10] Development of Rapid Prototyping Slicing Software Based on STL Model
    Pan, Xiaodi
    Chen, Kun
    Chen, Dingfang
    PROCEEDINGS OF THE 2014 IEEE 18TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN (CSCWD), 2014, : 191 - 195
12345