SOFTWARE-DEVELOPMENT BASED ON FORMAL METHODS

被引：0
|
作者：
JONES, CB
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 275卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：153 / 172
页数：20
相关论文
共 50 条
  • [1] ON THE RELEVANCE OF FORMAL METHODS TO SOFTWARE-DEVELOPMENT
    FLOYD, C
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 186 : 1 - 11
  • [2] FORMAL METHODS IN SOFTWARE-DEVELOPMENT REQUIREMENTS FOR A CASE
    BJORNER, D
    PREHN, S
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 509 : 178 - 210
  • [3] APPLICATION AND BENEFITS OF FORMAL METHODS IN SOFTWARE-DEVELOPMENT
    PLAT, N
    VANKATWIJK, J
    TOETENEL, H
    [J]. SOFTWARE ENGINEERING JOURNAL, 1992, 7 (05): : 335 - 346
  • [4] SPECS - FORMAL METHODS AND TECHNIQUES FOR TELECOMMUNICATIONS SOFTWARE-DEVELOPMENT
    DAUPHIN, M
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1992, 35 (1-5): : 117 - 124
  • [5] FORMAL TECHNIQUES FOR OO SOFTWARE-DEVELOPMENT
    DECHAMPEAUX, D
    AMERICA, P
    COLEMAN, D
    DUKE, R
    LEA, D
    LEAVENS, G
    [J]. SIGPLAN NOTICES, 1991, 26 (11): : 166 - 170
  • [6] INTRODUCTION TO ALGEBRAIC SPECIFICATION .1. FORMAL METHODS FOR SOFTWARE-DEVELOPMENT
    EHRIG, H
    MAHR, B
    CLASSEN, I
    OREJAS, F
    [J]. COMPUTER JOURNAL, 1992, 35 (05): : 460 - 467
  • [7] A TAXONOMY OF SOFTWARE-DEVELOPMENT METHODS
    BLUM, BI
    [J]. COMMUNICATIONS OF THE ACM, 1994, 37 (11) : 82 - 94
  • [8] FORMAL SPECIFICATION AND STRUCTURED DESIGN IN SOFTWARE-DEVELOPMENT
    CYRUS, JL
    BLEDSOE, JD
    HARRY, PD
    [J]. HEWLETT-PACKARD JOURNAL, 1991, 42 (05): : 51 - 58
  • [9] STRATEGIES FOR INCORPORATING FORMAL SPECIFICATIONS IN SOFTWARE-DEVELOPMENT
    FRASER, MD
    KUMAR, K
    VAISHNAVI, VK
    [J]. COMMUNICATIONS OF THE ACM, 1994, 37 (10) : 74 - 85
  • [10] A CATALOGING FRAMEWORK FOR SOFTWARE-DEVELOPMENT METHODS
    KARAM, GM
    CASSELMAN, RS
    [J]. COMPUTER, 1993, 26 (02) : 34 - &
12345