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 条
  • [21] INTEGRATING AN OBJECT-ORIENTED PROGRAMMING SYSTEM WITH A DATABASE SYSTEM
    KIM, W
    BALLOU, N
    CHOU, HT
    GARZA, JF
    WOELK, D
    BANERJEE, J
    SIGPLAN NOTICES, 1988, 23 (11): : 142 - 152
  • [22] Object-oriented formal specifications
    Periyasamy, K
    TOOLS 26 - TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES - PROCEEDINGS, 1998, : 428 - 441
  • [23] Formal object-oriented method for modeling concurrent system
    Zhu, L.J.
    Wu, Z.M.
    Shanghai Jiaotong Daxue Xuebao/Journal of Shanghai Jiaotong University, 2001, 35 (02): : 245 - 249
  • [24] Integrating object-oriented design and deductive verification of software
    Beckert, Bernhard
    Haehnle, Reiner
    Schmitt, Peter H.
    SEFM 2006: FOURTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2006, : 260 - 260
  • [25] AN OBJECT-ORIENTED DESIGN SYSTEM SHELL
    DIEDERICH, J
    MILTON, J
    SIGPLAN NOTICES, 1987, 22 (12): : 61 - 77
  • [26] The Analysis and Design of the Object-oriented System
    Xin, Li
    PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON MATERIALS ENGINEERING AND INFORMATION TECHNOLOGY APPLICATIONS, 2015, 28 : 19 - 23
  • [27] Fuzzy object-oriented system design
    Pedrycz, W
    Sosnowski, ZA
    FUZZY SETS AND SYSTEMS, 1998, 99 (02) : 121 - 134
  • [28] Object-oriented design for assembly system
    ElGizawy, AS
    Thunga, M
    Angia, R
    CAD/CAM ROBOTICS AND FACTORIES OF THE FUTURE, 1996, : 914 - 921
  • [29] A formal analysis of modularisation and its application to object-oriented methods
    Batenin, A
    OBJECT-ORIENTED TECHNOLOGY: ECOOP'98 WORKSHOP READER, 1998, 1543 : 267 - 269
  • [30] Integrating object-oriented design with Petri nets - Case study of ATM system
    Mikolajczak, B
    Sefranek, C
    2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 1499 - 1505
12345