Combining formal specification and CORE: an experimental investigation

被引：0
|
作者：
机构：
来源：
Software Eng J | / 2卷 / 31-42期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Advantages of a Formal Specification of a Case From Informal Description via Formal Specification to Realization
    de Brock, Bert
    BUSINESS MODELING AND SOFTWARE DESIGN, BMSD 2022, 2022, 453 : 158 - 181
  • [22] Formal Specification of the Framework for NSSA
    Bhandari, Pardeep
    Singh, Manpreet
    2ND INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTING, COMMUNICATION & CONVERGENCE, ICCC 2016, 2016, 92 : 23 - 29
  • [23] Formal Specification of Topological Relations
    Asnina, Erika
    Osis, Janis
    Jansone, Asnate
    DATABASES AND INFORMATION SYSTEMS VII, 2013, 249 : 175 - +
  • [24] Formal specification of concurrent systems
    Chadha, HS
    Baugh, JW
    Wing, JM
    ADVANCES IN ENGINEERING SOFTWARE, 1999, 30 (03) : 211 - 224
  • [25] FORMAL SPECIFICATION FOR DESIGN AUTOMATION
    LENART, M
    PADAWITZ, P
    PASZTOR, A
    FORMAL DESIGN METHODS FOR CAD, 1994, 18 : 201 - 220
  • [26] Formal specification of catalysis frameworks
    Filipe, JK
    Lau, KK
    Ornaghi, M
    Taguchi, K
    Yatsu, H
    Wills, A
    SEVENTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2000, : 180 - 187
  • [27] A formal specification of document processing
    Brown, AL
    Mantha, S
    Wakayama, T
    MATHEMATICAL AND COMPUTER MODELLING, 1997, 25 (04) : 57 - 72
  • [28] English as a formal specification language
    Schwitter, R
    13TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2002, : 228 - 232
  • [29] Safety analysis in formal specification
    Sere, K
    Troubitsyna, E
    FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1564 - 1583
  • [30] Formal Specification and Analysis of Firewalls
    Mejri, M.
    Adi, K.
    Fujita, H.
    NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2009, 199 : 284 - 293
12345