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 条
  • [31] WRITING AND FORMAL OPERATIONS - CASE-STUDY AMONG VAI
    GOODY, J
    COLE, M
    SCRIBNER, S
    AFRICA, 1977, 47 (03): : 289 - 304
  • [32] A CASE-STUDY OF HERBICIDE USE
    PIKE, DR
    MCGLAMERY, MD
    KNAKE, EL
    WEED TECHNOLOGY, 1991, 5 (03) : 639 - 646
  • [33] A case study of the formal specification of a parallel system using CSP
    Kiyamura, S
    Roscoe, AW
    CORRECT MODELS OF PARALLEL COMPUTING, 1997, 49 : 68 - 86
  • [34] Case study: Formal specification and verification of railway interlocking system
    Hlavaty, T
    Preucil, L
    Stepan, P
    PROCEEDINGS OF THE 27TH EUROMICRO CONFERENCE - 2001: A NET ODYSSEY, 2001, : 258 - 263
  • [35] Synthesis of AMBA AHB from formal specification: A case study
    Godhal Y.
    Chatterjee K.
    Henzinger T.A.
    International Journal on Software Tools for Technology Transfer, 2013, 15 (5-6) : 585 - 601
  • [36] Integrating rapid prototyping into the engineering curriculum - a case study
    Bohn, Jan Helge
    RAPID PROTOTYPING JOURNAL, 1997, 3 (01) : 32 - 37
  • [37] THE FORMAN SPECIFICATION OF CONCURRENT SYSTEMS - A SMALL CCS CASE-STUDY
    BRADLEY, IM
    INFORMATION AND SOFTWARE TECHNOLOGY, 1994, 36 (11) : 667 - 673
  • [38] A CASE-STUDY OF PRODUCT DISCOVERY AND INNOVATION COSTS
    MUELLER, WF
    SOUTHERN ECONOMIC JOURNAL, 1957, 24 (01) : 80 - 86
  • [39] CURRICULUM REVISION - A CASE-STUDY OF THE PROCESS AND PRODUCT
    MADIGAN, MJ
    LOOMIS, B
    SEEFELDT, M
    AMERICAN JOURNAL OF OCCUPATIONAL THERAPY, 1985, 39 (07): : 446 - 452
  • [40] Design and Deployment of Context-Aware Services: A Prototyping Case-Study
    Bernardos, Ana M.
    Tarrio, Paula
    Iglesias, Josue
    Casar, Jose R.
    INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE 2008, 2009, 50 : 711 - 719
12345