You are not logged in.
Openly accessible

Fuzzy concepts and formal methods

Matthews, Christopher Haydn. 2001, Fuzzy concepts and formal methods, Ph.D. thesis, School of Management Information Systems, Deakin University.

Attached Files
Name Description MIMEType Size Downloads
matthews-fuzzyconcepts-2001.pdf Connect to Thesis application/pdf 6.64MB 109

Title Fuzzy concepts and formal methods
Author Matthews, Christopher Haydn.
Institution Deakin University
School School of Management Information Systems
Faculty Faculty of Business and Law
Degree name Ph.D.
Date submitted 2001
Keyword(s) Computer simulation
Fuzzy logic
Z (Computer program language)
Summary Formal methods are a useful modeling tool in requirements engineering. However some system problems may be difficult to model in precise terms. This thesis suggests fuzzy set theory as a possible representation scheme and defines and illustrates a fuzzy logic toolkit for the formal specification language, Z.
Language eng
Description of original [iii], 336 leaves ; 30 cm.
Dewey Decimal Classification 003.3
Persistent URL http://hdl.handle.net/10536/DRO/DU:30023555

Connect to link resolver
 
Unless expressly stated otherwise, the copyright for items in DRO is owned by the author, with all rights reserved.

Every reasonable effort has been made to ensure that permission has been obtained for items included in DRO. If you believe that your rights have been infringed by this repository, please contact drosupport@deakin.edu.au.

Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 0 times in TR Web of Science
Scopus Citation Count Cited 0 times in Scopus
Google Scholar Search Google Scholar
Access Statistics: 294 Abstract Views, 109 File Downloads  -  Detailed Statistics
Created: Fri, 12 Feb 2010, 08:22:13 EST

Every reasonable effort has been made to ensure that permission has been obtained for items included in DRO. If you believe that your rights have been infringed by this repository, please contact drosupport@deakin.edu.au.