SOME REMARKS ON THE SIGNIFICANCE OF FORMAL SPECIFICATION METHODS FOR THE DEVELOPMENT AND DOCUMENTATION OF SOFTWARE

被引：0
|
作者：
LUFT, AL
机构：
来源：
ANGEWANDTE INFORMATIK | 1982年 / 04期
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：215 / 224
页数：10
相关论文
共 50 条
  • [1] SOME REMARKS ON THE SIGNIFICANCE OF MODELS AND MODELING FOR THE DEVELOPMENT AND DOCUMENTATION OF SOFTWARE-SYSTEMS
    LUFT, AL
    [J]. ANGEWANDTE INFORMATIK, 1984, (05): : 189 - 196
  • [2] Formal specification for quality in software development
    Currie, E
    MilankovicAtkinson, M
    [J]. PROCEEDINGS OF THE 5TH SOFTWARE QUALITY CONFERENCE, 1996, : 252 - 260
  • [3] 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
  • [4] Software Specification and Documentation in Continuous Software Development - A Focus Group Report
    Van Heesch, U.
    Theunissen, T.
    Zimmermann, O.
    Zdun, U.
    [J]. PROCEEDINGS OF THE 22ND EUROPEAN CONFERENCE ON PATTERN LANGUAGES OF PROGRAMS (EUROPLOP 2017), 2017,
  • [5] Using formal specification language in industrial software development
    Jiang, H
    Lin, D
    Xie, XR
    [J]. 1997 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT PROCESSING SYSTEMS, VOLS 1 & 2, 1997, : 1847 - 1851
  • [6] FORMAL SPECIFICATION AND STRUCTURED DESIGN IN SOFTWARE-DEVELOPMENT
    CYRUS, JL
    BLEDSOE, JD
    HARRY, PD
    [J]. HEWLETT-PACKARD JOURNAL, 1991, 42 (05): : 51 - 58
  • [7] A formal specification language for domain specific software development
    Basu, A
    Bhattacharya, S
    [J]. TENCON 2004 - 2004 IEEE REGION 10 CONFERENCE, VOLS A-D, PROCEEDINGS: ANALOG AND DIGITAL TECHNIQUES IN ELECTRICAL ENGINEERING, 2004, : B322 - B325
  • [8] Algebraic methods for specification and formal development of programs
    Sannella, D
    Tarlecki, A
    [J]. ACM COMPUTING SURVEYS, 1999, 31 : H1 - H5
  • [9] Practical application of formal methods for specification and analysis of software architecture
    Maxwell, C
    Parakhine, A
    Leaney, J
    [J]. 2005 Australian Software Engineering Conference, Proceedings, 2005, : 302 - 311
  • [10] FORMAL SPECIFICATION AND DOCUMENTATION OF MICROPROCESSOR INSTRUCTION SETS
    BOWEN, JP
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1987, 21 (1-5): : 223 - 230
12345