The KeY system:: Integrating object-oriented design and formal methods

被引：0
|
作者：
Ahrendt, W
Baar, T
Beckert, B
Giese, M
Habermalz, E
Hähnle, R
Menzel, W
Mostowski, W
Schmitt, PH
机构：
[1] Univ Karlsruhe, Karlsruhe, Germany
[2] Chalmers Univ Technol, S-41296 Gothenburg, Sweden
来源：
FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS | 2002年 / 2306卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper gives a brief description of the KeY system, a tool written as part of the ongoing KeY project(1), which is aimed at bridging the gap between (a) OO software engineering methods and tools and (b) deductive verification. The KeY system consists of a commercial CASE tool enhanced with functionality for formal specification and deductive verification.
引用
收藏
页码：327 / 330
页数：4
相关论文
共 50 条
  • [1] Integrating object-oriented methods and formal methods for requirement engineering
    陈怡海
    缪淮扣
    Journal of Harbin Institute of Technology, 2004, (03) : 295 - 299
  • [2] The key approach:: Integrating object oriented design and formal verification
    Ahrendt, W
    Baar, T
    Beckert, B
    Giese, M
    Habermalz, E
    Hähnle, R
    Menzel, W
    Schmitt, PH
    LOGICS IN ARTIFICIAL INTELLIGENCE, 2000, 1919 : 21 - 36
  • [3] The KeY tool: Integrating object oriented design and formal verification
    Ahrendt W.
    Baar T.
    Beckert B.
    Bubel R.
    Giese M.
    Hähnle R.
    Menzel W.
    Mostowski W.
    Roth A.
    Schlager S.
    Schmitt P.H.
    Software & Systems Modeling, 2005, 4 (1) : 32 - 54
  • [4] FORMAL METHODS IN OBJECT-ORIENTED ANALYSIS
    WILSON, JCR
    BT TECHNOLOGY JOURNAL, 1993, 11 (03): : 18 - 31
  • [5] On the integration of formal methods and object-oriented methods
    Jisuanji Gongcheng, 1 (13-16, 69):
  • [6] Real-time object-oriented design and formal methods
    De la Puente, JA
    REAL-TIME SYSTEMS, 2000, 18 (01) : 79 - 83
  • [7] Real-Time Object-Oriented Design and Formal Methods
    Juan Antonio de la Puente
    Real-Time Systems, 2000, 18 : 79 - 83
  • [8] 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 - +
  • [9] FORMAL SPECIFICATION AND OBJECT-ORIENTED DESIGN
    BUCHANAN, M
    BRITTON, C
    MICROPROCESSING AND MICROPROGRAMMING, 1992, 34 (1-5): : 19 - 22
  • [10] Object Normalization as Contribution to the Area of Formal Methods of Object-Oriented Database Design
    Merunka, Vojtech
    Molhanec, Martin
    ADVANCES IN COMPUTER AND INFORMATIOM SCIENCES AND ENGINEERING, 2008, : 300 - +
12345