CONTROL SOFTWARE SPECIFICATION AND DESIGN - AN OVERVIEW

被引：0
|
作者：
WALTER, C
机构：
来源：
COMPUTER | 1984年 / 17卷 / 02期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：20 / 23
页数：4
相关论文
共 50 条
  • [1] THE VDM PRINCIPLES OF SOFTWARE SPECIFICATION AND PROGRAM DESIGN - A TUTORIAL OVERVIEW
    BJORNER, D
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1981, 107 : 44 - 74
  • [2] Directions of using UML for software specification: An overview
    Nilawar, M
    Deshpande, K
    [J]. SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 465 - 469
  • [3] Software specification and design for imaging systems
    Laplante, PA
    Neill, CJ
    [J]. JOURNAL OF ELECTRONIC IMAGING, 2003, 12 (02) : 252 - 262
  • [4] Software requirements specification: an overview from the theoretical background checking
    Toro, A.
    Galvez, J. G.
    [J]. ENTRE CIENCIA E INGENIERIA, 2016, (19): : 108 - 113
  • [5] An overview of software specification techniques for real-time imaging
    Laplante, PA
    Neill, C
    [J]. REAL-TIME IMAGING VI, 2002, 4666 : 57 - 64
  • [6] Design Semantic Framework for Software Requirement Specification
    Hassan, Taimoor
    Hassan, Shoaib
    [J]. 2016 6TH INTERNATIONAL CONFERENCE ON IT CONVERGENCE AND SECURITY (ICITCS 2016), 2016, : 115 - 119
  • [7] SPECIFICATION TEMPLATE SPEEDS SOFTWARE DESIGN.
    BELCASTRO, RICHARD J.
    [J]. 1982, V 27 (N 21) : 233 - 236
  • [8] An adaptive framework for the design of software specification languages
    Neto, JJ
    Silva, PSM
    [J]. ADAPTIVE AND NATURAL COMPUTING ALGORITHMS, 2005, : 349 - 352
  • [9] WORKSHOP ON MODELS AND LANGUAGES FOR SOFTWARE SPECIFICATION AND DESIGN
    BABB, RG
    KIEBURTZ, R
    ORR, K
    MILI, A
    GEARHART, S
    MARTIN, N
    [J]. COMPUTER, 1985, 18 (03) : 103 - 108
  • [10] SPECIFICATION, DESIGN, PROTOTYPING AND VERIFICATION OF SOFTWARE SYSTEMS
    DEMAN, J
    DUPONCHEEL, L
    VANPUYMBROECK, W
    DOMINGUEZ, RP
    [J]. ELECTRICAL COMMUNICATION, 1988, 62 (3-4): : 259 - 264
12345