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 条

[1] FORMAL SPECIFICATION OF DATA ABSTRACTION IN FORTRAN 77 - ABSTRACT ARRAYS
COLBROOK, A
SMYTHE, C
[J]. SOFTWARE ENGINEERING JOURNAL, 1990, 5 (03): : 151 - 159
[2] APPLYING ABSTRACTION AND FORMAL SPECIFICATION IN NUMERICAL SOFTWARE-DESIGN
TENCATE, HH
[J]. COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1995, 29 (12) : 81 - 102
[3] Many-valued logic, partiality, and abstraction in formal specification languages
Haehnle, Reiner
[J]. LOGIC JOURNAL OF THE IGPL, 2005, 13 (04) : 415 - 433
[4] Tutorial 1: Abstraction and refinement of concurrent programs and formal specification - A practical view
Cansell, D
[J]. PARALLEL AND DISTRIBUTED PROCESSING, PROCEEDINGS, 2000, 1800 : 1037 - 1038
[5] Towards a Verification Flow Across Abstraction Levels Verifying Implementations Against Their Formal Specification
[J]. 1600, Institute of Electrical and Electronics Engineers Inc., United States (36):
[6] System fault tolerance specification: Proposal of a method combining semi-formal and formal approaches
Dondossola, G
Botti, O
[J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 2000, 1783 : 82 - 96
[7] Formal Specification of Button-Related Fault-Tolerance Micropatterns
Sun, Mu
Meseguer, Jose
[J]. REWRITING LOGIC AND ITS APPLICATIONS, WRLA 2014, 2014, 8663 : 263 - 279
[8] FORMAL SPECIFICATION
BROKATE, K
[J]. COMPUTER JOURNAL, 1988, 31 (02): : 190 - 190
[9] Tolerance of imprecision in the state of need
Guerra Espinosa, Rodrigo Andres
[J]. REVISTA CES DERECHO, 2020, 11 (01): : 3 - 27
[10] Abstraction and formal stability
Sanchez, Manuel De Miguel
Zurdo, Maria Paz Liorente
[J]. EGA-REVISTA DE EXPRESION GRAFICA ARQUITECTONICA, 2015, (26): : 110 - 119

← 1 2 3 4 5 →