Two-dimensional Software Development Model Combining Object-Oriented Method with Formal Method

被引：0
|
作者：
Yuan, X.
Chen, J.
Zheng, G.
机构：
来源：
Software Engineering Notes | / 23卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Two-dimensional software development model combining object-oriented method and formal method
    Yuan, XD
    Chen, JJ
    Zheng, GL
    NEW TECHNOLOGIES ON COMPUTER SOFTWARE, 1997, : 154 - 159
  • [2] AN OBJECT-ORIENTED METHOD FOR SOFTWARE MAINTENANCE
    CHEN, JY
    CHANG, SCV
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1994, 6 (08): : 46 - 51
  • [3] Formal object-oriented approach to software development of CIMS
    East China Univ of Science and, Technology, Shanghai, China
    Gaojishu Tongxin/High Technology Letters, 1997, 7 (08): : 5 - 8
  • [4] KeY:: A formal method for object-oriented systems
    Ahrendt, Wolfgang
    Beckert, Bernhard
    Haehnle, Reiner
    Schmitt, Peter H.
    FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2007, 4468 : 32 - +
  • [5] Hybrid Object-Oriented Method (HOOM): The software development process
    Taibi, Toufik
    Proceedings of the Conference on Technology of Object-Oriented Languages and Systems, TOOLS, 2000, (TOOL 36): : 8 - 17
  • [6] USING VDM IN AN OBJECT-ORIENTED DEVELOPMENT METHOD FOR ADA SOFTWARE
    CHEDGEY, C
    KEARNEY, S
    KUGLER, HJ
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 252 : 63 - 76
  • [7] Hybrid object-oriented method (HOOM) - The software development process
    Taibi, T
    36TH INTERNATIONAL CONFERENCE ON TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS, 2000, : 8 - 17
  • [8] Object-oriented programming for the boundary element method in two-dimensional heat transfer analysis
    Qiao, H
    ADVANCES IN ENGINEERING SOFTWARE, 2006, 37 (04) : 248 - 259
  • [9] AN OBJECT-ORIENTED SOFTWARE REQUIREMENTS ANALYSIS METHOD
    POO, DCC
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1992, 2 (01) : 145 - 168
  • [10] A Formal Model of Similarity Testing for Inheritance in Object-Oriented Software
    Benlhachmi, Khalid
    Benattou, Mohammed
    2012 COLLOQUIUM ON INFORMATION SCIENCE AND TECHNOLOGY (CIST'12), 2012, : 38 - 42
12345