Abstraction and tolerance of imprecision in formal specification

被引：0
|
作者：
Pham, T [1 ]
Wagner, M [1 ]
机构：
[1] Univ Canberra, Sch Comp, Canberra, ACT 2601, Australia
来源：
PROCEEDINGS OF THE FIFTH JOINT CONFERENCE ON INFORMATION SCIENCES, VOLS 1 AND 2 | 2000年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Existing formal methods for software specification relies on the frameworks of set theory and predicate logic. One of such methods is the Z language. The Z notation offers effective formal specifications of well-defined systems for software implementations. However, many real-life systems are no longer established on traditional set theory and logic. In this paper we attempt to extend the Z notation with fuzzy sets and fuzzy logic to specify the requirements of software systems that allow for some degree of tolerance for imprecision.
引用
收藏
页码：232 / 235
页数：4
相关论文
共 50 条
  • [21] A FORMAL SPECIFICATION OF INGRES
    BAATS, WE
    FEIJS, LMG
    GELISSEN, JHA
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 394 : 207 - 245
  • [22] Model abstraction for formal verification
    Hsieh, YW
    Levitan, SP
    [J]. DESIGN, AUTOMATION AND TEST IN EUROPE, PROCEEDINGS, 1998, : 140 - 147
  • [23] Constraints specification at higher levels of abstraction
    Balarin, F
    Burch, J
    Lavagno, L
    Watanabe, Y
    Passerone, R
    Sangiovanni-Vincentelli, A
    [J]. SIXTH IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2001, : 129 - 133
  • [24] SPECIFICATION OR HOW TO MAKE ABSTRACTION REAL
    ABRIAL, JR
    [J]. TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1984, 3 (03): : 201 - 219
  • [25] ABSTRACTION AND SPECIFICATION OF LOCAL AREA NETWORKS
    JO, CH
    FISHER, DD
    GEORGE, KM
    [J]. EIGHTH ANNUAL INTERNATIONAL PHOENIX CONFERENCE ON COMPUTERS AND COMMUNICATIONS: 1989 CONFERENCE PROCEEDINGS, 1989, : 337 - 342
  • [26] Advantages of a Formal Specification of a Case From Informal Description via Formal Specification to Realization
    de Brock, Bert
    [J]. BUSINESS MODELING AND SOFTWARE DESIGN, BMSD 2022, 2022, 453 : 158 - 181
  • [27] Formal Specification of Topological Relations
    Asnina, Erika
    Osis, Janis
    Jansone, Asnate
    [J]. DATABASES AND INFORMATION SYSTEMS VII, 2013, 249 : 175 - +
  • [28] Formal Specification of the Framework for NSSA
    Bhandari, Pardeep
    Singh, Manpreet
    [J]. 2ND INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTING, COMMUNICATION & CONVERGENCE, ICCC 2016, 2016, 92 : 23 - 29
  • [29] Formal specification of concurrent systems
    Chadha, HS
    Baugh, JW
    Wing, JM
    [J]. ADVANCES IN ENGINEERING SOFTWARE, 1999, 30 (03) : 211 - 224
  • [30] Formal specification of catalysis frameworks
    Filipe, JK
    Lau, KK
    Ornaghi, M
    Taguchi, K
    Yatsu, H
    Wills, A
    [J]. SEVENTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2000, : 180 - 187
12345