CASE-STUDY - THE USE OF FORMAL SPECIFICATION AND RAPID PROTOTYPING TO ESTABLISH PRODUCT FEASIBILITY

被引：1
|
作者：
ALEXANDER, H
POTTER, B
机构：
来源：
INFORMATION AND SOFTWARE TECHNOLOGY | 1987年 / 29卷 / 07期
关键词：
D O I：
10.1016/0950-5849(87)90206-0
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：388 / 394
页数：7
相关论文
共 50 条
  • [1] A CASE-STUDY IN RAPID PROTOTYPING
    ZELKOWITZ, MV
    SOFTWARE-PRACTICE & EXPERIENCE, 1980, 10 (12): : 1037 - 1042
  • [2] FUNCTIONAL PROGRAMMING, FORMAL SPECIFICATION, AND RAPID PROTOTYPING
    HENDERSON, P
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (02) : 241 - 250
  • [3] FORMAL SPECIFICATION OF MANAGED OBJECTS - A CASE-STUDY
    JUDGE, AJ
    WEZEMAN, C
    BT TECHNOLOGY JOURNAL, 1993, 11 (03): : 89 - 97
  • [4] INTEGRATING A FORMAL SPECIFICATION METHOD WITH PML - A CASE-STUDY
    SA, J
    WARBOYS, B
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 635 : 106 - 122
  • [5] FORMAL SPECIFICATION AND VERIFICATION OF A PROCEDURAL PROTOCOL - CASE-STUDY
    LAI, R
    SOFTWARE ENGINEERING JOURNAL, 1995, 10 (03): : 97 - 104
  • [6] DEVELOPING HYPERMEDIA WITH A RAPID PROTOTYPING APPROACH - A CASE-STUDY
    PORRAS, LH
    GIODANO, D
    BRITISH JOURNAL OF EDUCATIONAL TECHNOLOGY, 1995, 26 (01) : 59 - 61
  • [7] FORMAL SPECIFICATION METHODS AND NUMERICAL SOFTWARE - A CASE-STUDY USING Z
    LUCENA, CJP
    QIAN, YM
    UTILITAS MATHEMATICA, 1993, 44 : 85 - 114
  • [8] Rapid prototyping of real-time communication - A case-study: Interacting robots
    Ihmor, S
    Bastos, N
    Klein, RC
    Visarius, M
    Hardt, W
    14TH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEMS PROTOTYPING, PROCEEDINGS: SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 2003, : 186 - 192
  • [9] AN OBJECT-ORIENTED VLSI CAD FRAMEWORK - A CASE-STUDY IN RAPID PROTOTYPING
    GUPTA, R
    CHENG, WH
    GUPTA, R
    HARDONAG, I
    BREUER, MA
    COMPUTER, 1989, 22 (05) : 28 - 37
  • [10] Feasibility Study on Rapid Prototyping of Porcelain Products
    Tian, X.
    Muehler, T.
    Gomes, C.
    Guenster, J.
    Heinrich, J. G.
    JOURNAL OF CERAMIC SCIENCE AND TECHNOLOGY, 2011, 2 (04): : 217 - 225
12345