Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z (2000)
Cached
Download Links
- [www.deakin.edu.au]
- [ironbark.bendigo.latrobe.edu.au]
- DBLP
Other Repositories/Bibliography
| Venue: | In To Appear in Proceedings for ZB2000 |
| Citations: | 3 - 3 self |
BibTeX
@INPROCEEDINGS{Matthews00fuzzyconcepts,
author = {Chris Matthews and Paul A. Swatman},
title = {Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z},
booktitle = {In To Appear in Proceedings for ZB2000},
year = {2000},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modelling of system properties and behaviour. However some system problems, particularly those drawn from the IS problem domain, may be difficult to model in crisp or precise terms. It may also be desirable that formal modelling should commence as early as possible, even when our understanding of parts of the problem domain is only approximate. This paper suggests fuzzy set theory as a possible representation scheme for this imprecision or approximation.
