PROGRAM-DEVELOPMENT AS A FORMAL ACTIVITY

被引：17
|
作者：
BROY, M
PEPPER, P
机构：
来源：
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1981年 / 7卷 / 01期
关键词：
D O I：
10.1109/TSE.1981.230815
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：14 / 22
页数：9
相关论文
共 50 条
  • [1] TOOLUSE - A UNIFORM APPROACH TO FORMAL PROGRAM-DEVELOPMENT
    GABRIEL, R
    JAHNICHEN, S
    TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1990, 9 (02): : 166 - 174
  • [2] FORMAL PROGRAM-DEVELOPMENT IN LIBRARY-EDUCATION IN NIGERIA
    OGUNSHEYE, FA
    JOURNAL OF EDUCATION FOR LIBRARIANSHIP, 1978, 19 (02) : 140 - 150
  • [3] GRAPHICAL PROGRAM-DEVELOPMENT WITH PECAN PROGRAM-DEVELOPMENT SYSTEMS
    REISS, SP
    SIGPLAN NOTICES, 1984, 19 (05): : 30 - 41
  • [4] EXTENDED ML - AN INSTITUTION-INDEPENDENT FRAMEWORK FOR FORMAL PROGRAM-DEVELOPMENT
    SANNELLA, D
    TARLECKI, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 240 : 364 - 389
  • [5] A FRAMEWORK FOR PROGRAM-DEVELOPMENT
    COLEMAN, D
    GALLIMORE, RM
    HEWLETT-PACKARD JOURNAL, 1987, 38 (10): : 37 - 40
  • [6] TOWARD PROGRAM-DEVELOPMENT
    SILVA, D
    AMERICAN JOURNAL OF OCCUPATIONAL THERAPY, 1976, 30 (07): : 441 - 443
  • [7] A PROGRAM-DEVELOPMENT TOOL
    ALBERGA, CN
    BROWN, AL
    LEEMAN, GB
    MIKELSONS, M
    WEGMAN, MN
    IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1984, 28 (01) : 60 - 73
  • [8] SYSTEMATIC PROGRAM-DEVELOPMENT
    DROMEY, RG
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (01) : 12 - 29
  • [9] COMPONENTS IN PROGRAM-DEVELOPMENT
    SILVA, D
    AMERICAN JOURNAL OF OCCUPATIONAL THERAPY, 1976, 30 (09): : 568 - 573
  • [10] PROGRAM-DEVELOPMENT WITH FACT
    HURT, R
    COMPUTER JOURNAL, 1965, 7 (04): : 270 - 270
12345