-
2
-
-
0020141868
-
Validation, verification and testing of computer software
-
W.R. Adrion, M.A. Branstad, J.C. Cherniavsky, Validation, verification and testing of computer software, Comp. Surveys 14 (2) (1982) 159-192.
-
(1982)
Comp. Surveys
, vol.14
, Issue.2
, pp. 159-192
-
-
Adrion, W.R.1
Branstad, M.A.2
Cherniavsky, J.C.3
-
4
-
-
0039670275
-
SYCOJET and SACCO, Two tools for verifying expert systems
-
M. Ayel, L. Vignollet, SYCOJET and SACCO, Two tools for verifying expert systems, Int. J. Exp. Systems 6 (3) (1993) 357-382.
-
(1993)
Int. J. Exp. Systems
, vol.6
, Issue.3
, pp. 357-382
-
-
Ayel, M.1
Vignollet, L.2
-
5
-
-
0012078966
-
Social choice axioms for fuzzy set aggregation
-
D. Dubois, J.-L. Koning, Social choice axioms for fuzzy set aggregation, Fuzzy Sets and Systems 43 (1991) 257-274.
-
(1991)
Fuzzy Sets and Systems
, vol.43
, pp. 257-274
-
-
Dubois, D.1
Koning, J.-L.2
-
7
-
-
84878548974
-
VVT terminology: A proposal
-
T. Hoppe, P. Meseguer, VVT terminology: a proposal, IEEE Expert (1993) 48-55.
-
(1993)
IEEE Expert
, pp. 48-55
-
-
Hoppe, T.1
Meseguer, P.2
-
8
-
-
0346540148
-
On discovering potential inconsistencies in validating fuzzy knowledge bases
-
Paris, 4-8 July
-
D. Kinkielélé, M. Ayel, On discovering potential inconsistencies in validating fuzzy knowledge bases, Proc. 5th Int. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, 4-8 July, 1994, pp. 533-539.
-
(1994)
Proc. 5th Int. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems
, pp. 533-539
-
-
Kinkielélé, D.1
Ayel, M.2
-
9
-
-
0003750961
-
-
Springer, Berlin
-
R. Kruse, E. Schwecke, J. Heinsohn, Uncertainty and Vagueness in Knowledge Based Systems, Springer, Berlin, 1991.
-
(1991)
Uncertainty and Vagueness in Knowledge Based Systems
-
-
Kruse, R.1
Schwecke, E.2
Heinsohn, J.3
-
11
-
-
0027539718
-
Expert system verification and validation a survey and tutorial
-
R.M. O'Keefe, D.E. O'Leary, Expert system verification and validation a survey and tutorial, Artificial Intell. Rev. 7 (1993) 3-42.
-
(1993)
Artificial Intell. Rev.
, vol.7
, pp. 3-42
-
-
O'Keefe, R.M.1
O'Leary, D.E.2
-
12
-
-
0027150333
-
Models of consensus for validation of expert systems
-
D.E. O'Leary, K.V. Pincus, Models of consensus for validation of expert systems, Int. J. Exp. Systems 6 (2) (1993) 237-249.
-
(1993)
Int. J. Exp. Systems
, vol.6
, Issue.2
, pp. 237-249
-
-
O'Leary, D.E.1
Pincus, K.V.2
-
14
-
-
0003156044
-
On group decision making under fuzzy references
-
J. Kacprzyk, M. Fedrizzi (Eds.), Kluwer Academic Publishers, Holanda
-
T. Tanino, On group decision making under fuzzy references, in: J. Kacprzyk, M. Fedrizzi (Eds.), Multiperson Decision Making Models using Fuzzy Sets and Possibility Theory, Kluwer Academic Publishers, Holanda, 1990, pp. 172-185.
-
(1990)
Multiperson Decision Making Models Using Fuzzy Sets and Possibility Theory
, pp. 172-185
-
-
Tanino, T.1
-
15
-
-
85037501647
-
-
Actas del V Congreso Español sobre Tecnología y Lógica Fuzzy, Universidad de Murcia
-
V. Torra, Synthesis of information in KBS validation, Actas del V Congreso Español sobre Tecnología y Lógica Fuzzy, Universidad de Murcia, 1995, pp. 271-276.
-
(1995)
Synthesis of Information in KBS Validation
, pp. 271-276
-
-
Torra, V.1
-
16
-
-
0039280021
-
Combining fuzzy sets: The geometric consensus function family
-
V. Torra, Combining fuzzy sets: the geometric consensus function family, Fuzzy Sets and Systems 74 (1995) 335-342.
-
(1995)
Fuzzy Sets and Systems
, vol.74
, pp. 335-342
-
-
Torra, V.1
-
17
-
-
0030291150
-
Negation functions based semantics for ordered linguistic labels
-
V. Torra, Negation functions based semantics for ordered linguistic labels, Int. J. Intell. Systems 11 (1996) 975-988.
-
(1996)
Int. J. Intell. Systems
, vol.11
, pp. 975-988
-
-
Torra, V.1
-
18
-
-
0031235171
-
Synthesis of fuzzy relations for knowledge based systems validation
-
V. Torra, Synthesis of fuzzy relations for knowledge based systems validation, Fuzzy Sets and Systems 90 (1997) 267-276.
-
(1997)
Fuzzy Sets and Systems
, vol.90
, pp. 267-276
-
-
Torra, V.1
|