Combining formal specification and CORE: an experimental investigation

被引：0
|
作者：
机构：
来源：
Software Eng J | / 2卷 / 31-42期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Formal Specification under Fuzziness
    Lopez, V.
    Montero, J.
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2009, 15 (2-3) : 209 - 228
  • [32] LANGUAGE FOR FORMAL PROBLEM SPECIFICATION
    GREIF, I
    COMMUNICATIONS OF THE ACM, 1977, 20 (12) : 931 - 935
  • [33] Formal specification of visual languages
    Gee, DM
    INFORMATION AND SOFTWARE TECHNOLOGY, 1998, 40 (07) : 359 - 367
  • [34] Formal specification and proof of Gridjack
    Mao, Li
    Qi, Deyu
    2012 FIFTH INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND DESIGN (ISCID 2012), VOL 1, 2012, : 110 - 114
  • [35] Hazard analysis in formal specification
    Sere, K
    Troubitsyna, E
    COMPUTER SAFETY, RELIABILITY AND SECURITY, 1999, 1698 : 350 - 360
  • [36] Formal and visual specification languages
    Hammad, A
    Tatibouët, B
    ISE'2001: PROCEEDINGS OF THE INTERNATIONAL SYMPOSIUM ON INFORMATION SYSTEMS AND ENGINEERING, 2001, : 173 - 179
  • [37] Specification Patterns: Formal and Easy
    Asteasuain, Fernando
    Braberman, Victor
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2015, 25 (04) : 669 - 700
  • [38] Formal specification and verification of VHDL
    Bickford, M
    Jamsek, D
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, 1996, 1166 : 310 - 326
  • [39] A formal specification of multicriteria economics
    Salas-Molina, Francisco
    OPERATIONAL RESEARCH, 2019, 21 (4) : 2627 - 2650
  • [40] FORMAL SPECIFICATION OF A PROLOG COMPILER
    HANUS, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 348 : 273 - 282
12345