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 条
  • [31] Integrating the user interface in an object-oriented measurement system
    Daponte, P.
    Nigro, L.
    Tisato, F.
    Measurement: Journal of the International Measurement Confederation, 1995, 15 (02): : 91 - 101
  • [32] Using design explanation within the formal object-oriented method
    Nguyen L.
    Swatman P.A.
    Shanks G.
    Requirements Engineering, 1999, 4 (3) : 152 - 164
  • [33] OBJECT-ORIENTED METHODS
    SOLBERG, HE
    CLINICA CHIMICA ACTA, 1993, 222 (1-2) : 3 - 11
  • [34] Integrating human factors into use cases and object-oriented methods
    Seffah, A
    Hayne, C
    OBJECT-ORIENTED TECHNOLOGY, 1999, 1743 : 240 - 254
  • [35] On Differencing Object-Oriented Formal Specifications
    Taibi, Fathi
    Alam, Md. Jahangir
    Abdullah, Junaidi
    JOURNAL OF OBJECT TECHNOLOGY, 2010, 9 (01): : 183 - 198
  • [36] FORMAL APPROACH TO HYPERTEXT SYSTEM BASED ON OBJECT-ORIENTED DATABASE SYSTEM
    HITCHCOCK, P
    WANG, B
    INFORMATION AND SOFTWARE TECHNOLOGY, 1992, 34 (09) : 573 - 592
  • [37] Formal object-oriented development of a voting system test oracle
    Gibson, J. Paul
    Raffy, Jean-Luc
    Lallet, Eric
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2011, 7 (04) : 237 - 245
  • [38] Designing for schedulability integrating schedulability analysis with object-oriented design
    Saksena, M
    Karvelas, P
    EUROMICRO RTS 2000: 12TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS, 2000, : 101 - 108
  • [39] Integrating Semantic Web and Object-Oriented Programming for Cooperative Design
    Chiu, Po-Huan
    Lo, Chi-Chun
    Chao, Kuo-Ming
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2009, 15 (09) : 1970 - 1990
  • [40] Object-oriented design
    Fuzzy Sets and Systems, 1992, 47 (03)
12345