A FORMAL APPROACH TO LARGE SOFTWARE CONSTRUCTION

被引：0
|
作者：
ABRIAL, JR
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 375卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：1 / 20
页数：20
相关论文
共 50 条
  • [1] A formal approach for software maintenance
    Waqar, U
    Khendek, F
    Vincent, D
    INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS, 2002, : 608 - 617
  • [2] A FORMAL APPROACH TO SOFTWARE ARCHITECTURES
    ALLEN, R
    GARLAN, D
    IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 12 : 134 - 141
  • [3] Teaching Formal Methods: From Software in the Small to Software in the Large
    Gallardo, Maria-del-Mar
    Panizo, Laura
    FORMAL METHODS TEACHING (FMTEA 2019), 2019, 11758 : 97 - 110
  • [4] A FORMAL APPROACH TO SOFTWARE ERROR REMOVAL
    DYER, M
    JOURNAL OF SYSTEMS AND SOFTWARE, 1987, 7 (02) : 109 - 114
  • [5] A formal approach to distributed software architecture
    He, J
    Fang, DY
    Qin, Z
    2002 IEEE REGION 10 CONFERENCE ON COMPUTERS, COMMUNICATIONS, CONTROL AND POWER ENGINEERING, VOLS I-III, PROCEEDINGS, 2002, : 342 - 346
  • [6] A formal approach to designing anonymous software
    Kawabe, Yoshinobu
    Sakurada, Hideki
    SERA 2007: 5TH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH, MANAGEMENT, AND APPLICATIONS, PROCEEDINGS, 2007, : 203 - +
  • [7] A formal approach to heterogeneous software modeling
    Egyed, A
    Medvidovic, N
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 2000, 1783 : 178 - 192
  • [8] A Formal Approach to Checking Consistency in Software Refactoring
    Hong Anh Le
    Thi-Huong Dao
    Ninh-Thuan Truong
    Mobile Networks and Applications, 2017, 22 : 356 - 366
  • [9] A Formal Approach to Software Synthesis for Architectural Platforms
    Bagheri, Hamid
    2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2011, : 1143 - 1145
  • [10] A formal approach to designing secure software architectures
    Yu, HQ
    He, XD
    Deng, Y
    Mo, L
    EIGHTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2004, : 289 - 290
12345