USING FORMAL SPECIFICATION FOR PRODUCT DEVELOPMENT

被引：0
|
作者：
LADEAU, BR
FREEMAN, CW
机构：
来源：
HEWLETT-PACKARD JOURNAL | 1991年 / 42卷 / 05期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：46 / 50
页数：5
相关论文
共 50 条
  • [21] Formal specification of scanning streams using RAISE
    Dosch, W
    Riesco, D
    Berón, M
    Montejano, G
    Innovations Through Information Technology, Vols 1 and 2, 2004, : 1011 - 1013
  • [22] FAUST: Formal analysis using specification tools
    Rifaut, A
    Massonet, P
    Molderez, JF
    Ponsard, C
    Stadnik, P
    van Lamsweerde, A
    Van Hung, T
    11TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE, PROCEEDINGS, 2003, : 350 - 350
  • [23] Formal specification of shared variables using CSP
    Scuglik, F
    11TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2004, : 211 - 216
  • [24] FORMAL HARDWARE SPECIFICATION AND VERIFICATION USING PROLOG
    BREZOCNIK, Z
    HORVAT, B
    MICROPROCESSING AND MICROPROGRAMMING, 1989, 27 (1-5): : 163 - 170
  • [25] FORMAL SPECIFICATION
    BROKATE, K
    COMPUTER JOURNAL, 1988, 31 (02): : 190 - 190
  • [26] Real time formal specification using VDM(++)
    vanKatwijk, J
    Durr, E
    Goldsack, S
    SECOND WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS OF WORDS '96, 1996, : 17 - 24
  • [27] FORMAL SPECIFICATION OF TOPOLOGICAL SUBDIVISIONS USING HYPERMAPS
    DUFOURD, JF
    COMPUTER-AIDED DESIGN, 1991, 23 (02) : 99 - 116
  • [28] TOWARDS A FORMAL BASIS FOR THE FORMAL DEVELOPMENT METHOD AND THE INA JO SPECIFICATION LANGUAGE
    BERRY, DM
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1987, 13 (02) : 184 - 201
  • [29] Formal Development of a Cardiac Pacemaker: From Specification to Code
    Gomes, Artur O.
    Oliveira, Marcel V. M.
    FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, 2011, 6527 : 210 - 225
  • [30] FORMAL SPECIFICATION AND STRUCTURED DESIGN IN SOFTWARE-DEVELOPMENT
    CYRUS, JL
    BLEDSOE, JD
    HARRY, PD
    HEWLETT-PACKARD JOURNAL, 1991, 42 (05): : 51 - 58
12345