DRO

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
warner-returning-2014A.pdf Connect to thesis application/pdf 2.96MB 189

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
Free to Read? Yes
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: 388 Abstract Views, 302 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.