Combining formal specification and CORE: an experimental investigation

被引：0
|
作者：
机构：
来源：
Software Eng J | / 2卷 / 31-42期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] FORMAL SPECIFICATION OF A PROLOG COMPILER
    HANUS, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 348 : 273 - 282
  • [42] ON FORMAL SPECIFICATION OF A PROOF TOOL
    ARTHAN, RD
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 356 - 370
  • [43] A Formal Specification for Organizational Adaptation
    Aldewereld, Huib
    Dignum, Frank
    Dignum, Virginia
    Penserini, Loris
    AGENT-ORIENTED SOFTWARE ENGINEERING X, 2011, 6038 : 18 - 31
  • [44] Formal specification of a protocol processor
    Westerlund, T
    Plosila, J
    EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, 2005, 3553 : 122 - 131
  • [45] A Formal Specification of the Memorization Process
    Lopez, Natalia
    Nunez, Manuel
    Pelayo, Fernando L.
    INTERNATIONAL JOURNAL OF COGNITIVE INFORMATICS AND NATURAL INTELLIGENCE, 2007, 1 (04) : 47 - 60
  • [46] FORMAL SPECIFICATION OF DIALOG SYSTEMS
    STUDER, R
    TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1984, 3 (05): : 335 - 343
  • [47] FORMAL SPECIFICATION OF A LOOK MANAGER
    NARAYANA, KT
    DHARAP, S
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (09) : 1089 - 1103
  • [48] Alneelain: A Formal Specification Language
    Ali, Nahid A.
    Mirghani, Amal A.
    Ibrahim, Abdelrasoul Y.
    2017 INTERNATIONAL CONFERENCE ON COMMUNICATION, CONTROL, COMPUTING AND ELECTRONICS ENGINEERING (ICCCCEE), 2017,
  • [49] Formal specification of SIMD execution
    Farrell, CA
    Kieronska, DH
    1996 IEEE SECOND INTERNATIONAL CONFERENCE ON ALGORITHMS & ARCHITECTURES FOR PARALLEL PROCESSING, ICA3PP'96, PROCEEDINGS OF, 1996, : 319 - 325
  • [50] Formal specification of program slicing
    Wu, Fangjun
    ACM SIGPLAN NOTICES, 2006, 41 (12) : 18 - 27
12345