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 条
  • [1] The KeY system:: Integrating object-oriented design and formal methods
    Ahrendt, W
    Baar, T
    Beckert, B
    Giese, M
    Habermalz, E
    Hähnle, R
    Menzel, W
    Mostowski, W
    Schmitt, PH
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2306 : 327 - 330
  • [2] An object-oriented, formal approach to the design of cadastral systems
    Frank, AU
    ADVANCES IN GIS RESEARCH II, 1997, : 245 - 261
  • [3] A formal model of concurrency for distributed object-oriented systems
    Barrio, M
    de la Fuente, P
    ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 466 - 474
  • [4] A formal mechanism for assessing polymorphism in object-oriented systems
    Pons, C
    Olsina, L
    Prieto, M
    FIRST ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2000, : 53 - 62
  • [5] A formal specification framework for object-oriented distributed systems
    Buchs, D
    Guelfi, N
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2000, 26 (07) : 635 - 652
  • [6] Formal Multi-threading Method of Object-Oriented
    Zhang, Anyu
    Xie, Xiaoyao
    2008 2ND INTERNATIONAL CONFERENCE ON ANTI-COUNTERFEITING, SECURITY AND IDENTIFICATION, 2008, : 293 - +
  • [7] 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
  • [8] Object-oriented formal specifications
    Periyasamy, K
    TOOLS 26 - TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES - PROCEEDINGS, 1998, : 428 - 441
  • [9] Key Classes in Object-Oriented Systems: Detection and Assessment
    Vale, Liliane do Nascimento
    Maia, Marcelo de Almeida
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2019, 29 (10) : 1439 - 1463
  • [10] Using design explanation within the formal object-oriented method
    Nguyen L.
    Swatman P.A.
    Shanks G.
    Requirements Engineering, 1999, 4 (3) : 152 - 164
12345