KeY:: A formal method for object-oriented systems

被引：0
|
作者：
Ahrendt, Wolfgang [1 ]
Beckert, Bernhard [2 ]
Haehnle, Reiner [1 ]
Schmitt, Peter H. [3 ]
机构：
[1] Chalmers Univ Technol, Dept Comp Sci & Engn, Gothenburg, Sweden
[2] Univ Koblenz, Dept Comp Sci, Mainz, Germany
[3] Univ Karlsruhe, Dept Theoret Comp Sci, Karlsruhe, Germany
来源：
FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS | 2007年 / 4468卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of object-oriented software. It aims for integrating design, implementation, formal specification and formal verification as seamlessly as possible. The intention is to provide a platform that allows close collaboration of conventional and formal software development methods.
引用
收藏
页码：32 / +
页数：3
相关论文
共 50 条
  • [21] Formal integration of structural dynamics into the object-oriented modeling of hybrid systems
    Nordwig, A
    MODELLING AND SIMULATION 2002, 2002, : 128 - 134
  • [22] A Metric Method for Object-Oriented Systems Based on MarkII Method
    Jing Fubo
    Zeng Yi
    Liu Huijun
    Cheng Lu
    Lu Jiawei
    2014 IEEE 7TH JOINT INTERNATIONAL INFORMATION TECHNOLOGY AND ARTIFICIAL INTELLIGENCE CONFERENCE (ITAIC), 2014, : 564 - 570
  • [23] A formal approach to object-oriented software engineering
    Wirsing, M
    Knapp, A
    THEORETICAL COMPUTER SCIENCE, 2002, 285 (02) : 519 - 560
  • [24] A formal foundation for object-oriented software evolution
    Mens, T
    IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS: SYSTEMS AND SOFTWARE EVOLUTION IN THE ERA OF THE INTERNET, 2001, : 549 - 552
  • [25] An object-oriented framework for the formal verification of processors
    Arditi, L
    Collavizza, H
    ECOOP '95 - OBJECT-ORIENTED PROGRAMMING, 1995, 952 : 215 - 234
  • [26] FORMAL FOUNDATIONS FOR OBJECT-ORIENTED DATA MODELING
    LIEBERHERR, K
    XIAO, C
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1993, 5 (03) : 462 - 478
  • [27] A review of object-oriented approaches in formal methods
    RuizDelgado, A
    Pitt, D
    Smythe, C
    COMPUTER JOURNAL, 1995, 38 (10): : 777 - 784
  • [28] A Matching Approach for Object-Oriented Formal Specifications
    Taibi, Fathi
    Abbou, Fouad Mohammed
    Alam, Md Jahangir
    JOURNAL OF OBJECT TECHNOLOGY, 2008, 7 (08): : 139 - 153
  • [29] Generation of object-oriented formal software specifications
    Hartrum, TC
    Karagias, T
    PROCEEDINGS OF THE IEEE 1997 AEROSPACE AND ELECTRONICS CONFERENCE - NAECON 1997, VOLS 1 AND 2, 1997, : 660 - 667
  • [30] Enhancing object-oriented methods with formal notations
    Imperial Coll, London, United Kingdom
    Theor Pract Object Syst, 4 (247-268):
12345