Deakin University
Browse

Fuzzy concepts and formal methods

Download (2.96 MB)
thesis
posted on 2001-01-01, 00:00 authored by Christopher Haydn. Matthews
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.

History

Pagination

[iii], 336 leaves ; 30 cm.

Open access

  • Yes

Material type

thesis

Resource type

thesis

Language

eng

Notes

Thesis (Ph.D.)--Deakin University, Victoria, 2001.

Degree name

Ph.D.

Faculty

Faculty of Business and Law

School

School of Information and Business Analytics

Usage metrics

    Theses

    Categories

    No categories selected

    Keywords

    Computer simulationFuzzy logicZ (Computer program language)

    Licence

    All Rights Reserved

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC