Aspects and formal methods

被引：0
|
作者：
Katz, Shmuel [1 ]
机构：
[1] Technion Israel Inst Technol, Dept Comp Sci, IL-32000 Haifa, Israel
来源：
FM 2008: FORMAL METHODS, PROCEEDINGS | 2008年 / 5014卷
关键词：
aspects; interference; model-checking; detection; specification;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Aspects are now commonly used to add functionality that otherwise would cut across the structure of object systems. In this survey, both directions in the connection between aspects and formal methods are examined. On the one hand, the use of aspects to facilitate (general) software verification, and especially model checking, is demonstrated. On the other hand, the new challenges to formal specification and verification posed by aspects are defined, and several existing solutions are described.
引用
收藏
页码：1 / +
页数：3
相关论文
共 50 条
  • [41] RETHINKING FORMAL METHODS
    Plaks, Toomas
    COMPUTER, 2010, 43 (03) : 6 - 6
  • [42] Applicable Formal Methods
    Leuschel, M
    FORMAL ASPECTS OF COMPUTING, 2005, 17 (02) : 91 - 92
  • [43] Formal Methods in Industry
    ter Beek, Maurice H.
    Chapman, Rod
    Cleaveland, Rance
    Garavel, Hubert
    Gu, Rong
    Ter Horst, Ivo
    Keiren, Jeroen J. A.
    Lecomte, Thierry
    Leuschel, Michael
    Rozier, Kristin Yvonne
    Sampaio, Augusto
    Seceleanu, Cristina
    Thomas, Martyn
    Willemse, Tim A. C.
    Zhang, Lijun
    FORMAL ASPECTS OF COMPUTING, 2025, 37 (01)
  • [44] TEACH FORMAL METHODS
    CUADRADO, J
    BYTE, 1994, 19 (12): : 292 - 292
  • [45] Functional formal methods
    Moore, JS
    ACM SIGPLAN NOTICES, 2002, 37 (09) : 123 - 123
  • [46] WHAT ARE FORMAL METHODS
    GIBBINS, PF
    INFORMATION AND SOFTWARE TECHNOLOGY, 1988, 30 (03) : 131 - 137
  • [47] FORMAL METHODS FOR DESIGN
    MUSGRAVE, G
    IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 12 : 710 - 710
  • [48] The industrialization of formal methods
    John S. Fitzgerald
    Stefania Gnesi
    Dino Mandrioli
    International Journal on Software Tools for Technology Transfer, 2006, 8 (4-5) : 301 - 302
  • [49] Formal Methods for Privacy
    Tschantz, Michael Carl
    Wing, Jeannette M.
    FM 2009: FORMAL METHODS, PROCEEDINGS, 2009, 5850 : 1 - 15
  • [50] Formal Methods @ Runtime
    Calinescu, Radu
    Kikuchi, Shinji
    FOUNDATIONS OF COMPUTER SOFTWARE: MODELING, DEVELOPMENT, AND VERIFICATION OF ADAPTIVE SYSTEMS, 2011, 6662 : 122 - 135
12345