|
Results
Found 2 publication records. Showing 2 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Chris Matthews, Paul A. Swatman |
Fuzzy concepts and formal methods: some illustrative examples.  |
APSEC  |
2000 |
DBLP DOI BibTeX RDF |
fuzzy concepts, problem types, fuzzy logic toolkit, problem domains, soft preconditions, linguistically quantified propositions, modelling, formal specification, formal methods, fuzzy logic, information systems, requirements engineering, uncertainty, specification languages, specification languages, formal modelling, fuzzy set theory, fuzzy set theory, uncertainty handling, fuzzy relations, system requirements, imprecision, Z language |
| 1 | Chris Matthews, Paul A. Swatman |
Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z.  |
ZB  |
2000 |
DBLP DOI BibTeX RDF |
requirements determination, formal specification, Z, fuzzy set theory |
Displaying result #1 - #2 of 2 (100 per page; Change: )
|