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 条
  • [41] Object-oriented design
    Holland, IM
    Lieberherr, KJ
    ACM COMPUTING SURVEYS, 1996, 28 (01) : 273 - 275
  • [42] A LOTOS based tutorial on formal methods for object-oriented distributed systems
    Howard Bowman
    New Generation Computing, 1998, 16 : 343 - 372
  • [43] OBJECT-ORIENTED DESIGN
    CUSACK, EL
    CLOUGH, C
    RICHARDS, K
    BRITISH TELECOMMUNICATIONS ENGINEERING, 1990, 9 : 71 - 77
  • [44] A LOTOS based tutorial on formal methods for object-oriented distributed systems
    Bowman, H
    NEW GENERATION COMPUTING, 1998, 16 (04) : 343 - 372
  • [45] Object-oriented design for power system applications
    Pandit, S
    Soman, SA
    Khaparde, SA
    IEEE COMPUTER APPLICATIONS IN POWER, 2000, 13 (04): : 43 - 47
  • [46] Object-oriented system analysis and design method
    Weidianzixue yu Jisuanji, 1 (22-25):
  • [47] OBJECT-ORIENTED DESIGN IN THE AGSDCS ALARM SYSTEM
    MORRIS, JT
    NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH SECTION A-ACCELERATORS SPECTROMETERS DETECTORS AND ASSOCIATED EQUIPMENT, 1994, 352 (1-2): : 141 - 143
  • [48] Design and implementation of an object-oriented hypermedia system
    Cao, Yuanda
    Ma, Rui
    Journal of Beijing Institute of Technology (English Edition), 1997, 6 (01): : 78 - 84
  • [49] The design of an object-oriented user interface for the object-oriented database
    Liu, XD
    Li, LZ
    Wang, XF
    OBJECT-ORIENTED TECHNOLOGY, 1997, : 150 - 155
  • [50] OBJECT-ORIENTED REQUIREMENTS TO OBJECT-ORIENTED DESIGN - AN EASY TRANSITION
    DAVIS, AM
    JOURNAL OF SYSTEMS AND SOFTWARE, 1995, 30 (1-2) : 151 - 159
12345