Computer
Fuzzy logic in commercial expert system-results and prospects
Fuzzy Sets and Systems - Special memorial volume on fuzzy logic and uncertainly modelling
Neural networks and fuzzy systems: a dynamical systems approach to machine intelligence
Neural networks and fuzzy systems: a dynamical systems approach to machine intelligence
The Z notation: a reference manual
The Z notation: a reference manual
Soft systems methodology in action
Soft systems methodology in action
Systems: concepts, methodologies, and applications (2nd ed.)
Systems: concepts, methodologies, and applications (2nd ed.)
Object-Z: a specification language advocated for the description of standards
Computer Standards & Interfaces - Special issue on formal description techniques
Fuzzy set theory: basic concepts, techniques and bibliography
Fuzzy set theory: basic concepts, techniques and bibliography
Fuzzy sets, fuzzy logic, applications
Fuzzy sets, fuzzy logic, applications
Neuro-fuzzy and soft computing: a computational approach to learning and machine intelligence
Neuro-fuzzy and soft computing: a computational approach to learning and machine intelligence
The way of Z: practical programming with formal methods
The way of Z: practical programming with formal methods
An Introduction to Formal Specification and Z
An Introduction to Formal Specification and Z
Fuzzy Sets and Systems: Theory and Applications
Fuzzy Sets and Systems: Theory and Applications
The Fuzzy Systems Handkbook with Cdrom
The Fuzzy Systems Handkbook with Cdrom
Foundations of Fuzzy Systems
Innovations in the Notation of Standard Z
ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
A comparative study of fuzzy sets and rough sets
Information Sciences: an International Journal
The interpretation of fuzziness
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
A Specification-Based Software Construction Framework for Reuse
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
| Hi-index | 0.00 |
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. We provide a summary of a toolkit that defines the operators, measures and modifiers necessary for the manipulation of fuzzy sets and relations. We also provide some examples of the laws which establishes an isomorphism between the extended notation presented here and conventional Z when applied to boolean sets and relations.