Chris Matthews  Home/Search
Context Related
| deakin.edu.au/mis/...tman_APSEC2000.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: deakin.edu.au/mis/pages/staff/... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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... (Update)
Context of citations to this paper: More
...applied to the systems of this type. The material that follows is a condensed version of a more detailed discussion which can be found in [26]. 5 The Illustrative Examples In a paper of this length it is not possible to provide any detail for the fuzzy logic toolkit. Instead...
...only an abbreviated motativation is possible here. A more detailed discussion with illustrative examples forms a companion paper [24]. The paper is organised as follows: Section 2 introduces the fuzzy set representation scheme used in the toolkit. The toolkit summary is...
Cited by: More
Fuzzy Concepts and Formal Methods: - Sample Specification For (Correct)
Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z - Matthews, Swatman (2000) (Correct)
Fuzzy Concepts and Formal Methods - Matthews, Swatman (2002) (Correct)
Similar documents (at the sentence level):
22.3%: Fuzzy Concepts and Formal Methods: Some Illustrative Examples - Matthews (1999) (Correct)
5.1%: Fuzzy Concepts and Formal Methods: An Extended Notation for Z - Matthews (Correct)
5.1%: Fuzzy Z? - Matthews, al. (1997) (Correct)
Active bibliography (related documents): More All
0.3: Observing Web Users: Conjecturing and Refutation on Partial .. - Miguel- Angel Sicilia (Correct)
0.2: A Z Patterns Catalogue: I specification and refactorings, v0.1 - Stepney, Polack, Toyn (2003) (Correct)
0.2: Tenacious Tortoises: A Formalism for Argument over Rules of.. - McBurney, Parsons (2000) (Correct)
Similar documents based on text: More All
0.5: Fuzzy Z - The Extended Notation Toolkit Revision 2 - Matthews (2000) (Correct)
Related documents from co-citation: More All
5: Fuzzy logic in commercial expert systems--results and prospects (context) - Graham - 1991
5: Practical Programming with Formal Methods (context) - Jacky, of - 1997
5: Fuzzy Logic: Concepts to Constructs (context) - Viot - 1993
BibTeX entry: (Update)
C. Matthews and P. A. Swatman. Fuzzy Concepts and Formal methods : Some Illustrative Examples. Technical Report 1999:37, School of Management Information Systems, Deakin University, 1999. http://citeseer.ist.psu.edu/article/matthews99fuzzy.html More
@misc{ matthews99fuzzy,
author = "C. Matthews and P. Swatman",
title = "Fuzzy Concepts and Formal methods : Some Illustrative Examples",
text = "C. Matthews and P. A. Swatman. Fuzzy Concepts and Formal methods : Some
Illustrative Examples. Technical Report 1999:37, School of Management Information
Systems, Deakin University, 1999.",
year = "1999",
url = "citeseer.ist.psu.edu/article/matthews99fuzzy.html" }
Citations (may not include all citations):258 The Concept of a Linguistic Variable and its Application to .. (context) - Zadeh - 1975
200 Pren- tice Hall International Series in Computer Science (context) - Spivey, Notation et al. - 1992
154 A Specifier's Introduction to Formal Methods (context) - Wing - 1990
142 An Introduction to Formal Specification and Z (context) - Potter, Sinclair et al. - 1996
137 Neural Networks and Fuzzy Systems (context) - Kosko - 1992
69 Introduction to Expert Systems (context) - Jackson - 1999
35 Knowledge Representation in Fuzzy Logic (context) - Zadeh - 1992
31 Practical Programming with Formal Methods (context) - Jacky, of - 1997
25 Fuzzy Logic Controllers (context) - Berenji - 1992
18 IEEE Computer (context) - Zadeh - 1988
14 Possibility Theory - An Approach to Computerised Processing .. (context) - Dubois, Prade - 1988
14 Natural Language Computations (context) - Schmucker - 1984
13 Software Engineering A Practioner's Approach (context) - Pressman - 1997
13 Fuzzy Logic with Linguistic Quantifiers in Group Decision Ma.. (context) - Kacprzyk, Fedrizzi et al. - 1992
12 RuleBased Expert Systems: The MYCIN Experiments of the Stanf.. (context) - Buchanan, Shortliffe - 1985
12 World Scientific (context) - Bojadziev, Bojadziev et al. - 1995
10 Fuzzy Logic in Commercial Expert Systems - Results and Prosp.. (context) - Graham - 1991
9 Formal Methods in Information Systems Engineering (context) - Saiedian - 1997
8 Fuzzy Logic: Concepts to Constructs (context) - Viot - 1993
8 Fuzzy Set Analysis for Behavioral and Social Sciences (context) - Smithson - 1987
7 Fuzzy Sets and Personnel Selection: Discussion and an Applic.. (context) - Allinger, Feinzig et al. - 1993
7 Specifying Soft Requirements of Knowledge-Based Systems (context) - Lee, Yen - 1994
7 Types and Measures of Uncertainty (context) - Klir, Harmanec - 1997
7 Does a Single Response Category in a Scale Completely Captur.. (context) - Viswanathan, Bergen et al. - 1996
7 Harcourt Brace Jovanovich (context) - Medin, Ross - 1992
6 General Systems (context) - Kosko, Probability - 1990
6 Fuzzy Logic: Toward Measuring Gottfredson's Concept of Occup.. (context) - Hesketh, Pryor et al. - 1989
5 AP Professional - Harcourt Brace & Company (context) - Cox, Systems - 1994
5 Fuzzy Concepts and Formal Methods : A Fuzzy Logic Toolkit fo.. - Matthews, Swatman
5 Fuzzy Logic --- Beyond Formalism (context) - Haack - 1996
4 notation --- version (context) - Nichols - 1998
4 School of Management Information Systems (context) - Matthews, Swatman et al. - 1999
4 Fuzziness -- vagueness -- generality -- ambiguity (context) - Zhang - 1998
3 Linguistics and the study of natural language (context) - Kess, Psychology - 1992
3 Eysenck and Mark T (context) - Michael - 1995
3 and Psychological Explanation (context) - Smithson, Fuzzy - 1988
3 Practical Applications and Psychometric Evaluation of a Comp.. (context) - Hesketh, Prior et al. - 1988
3 Application of diffuse measurement to the evaluation of psyc.. (context) - Luis, Pedro et al. - 1994
3 Elsevier Science Publishers Ltd (context) - Castillo, Alvarez et al. - 1991
2 Fuzzy Set Theory Movement in the Social Science (context) - Treadwell - 1995
2 New Approach to Requirements Trade-off Analysis for Complex .. (context) - Lee, Kuo - 1998
2 A fuzzy linguistic model for the prediction of carpal tunnel.. (context) - Bell - 1997
2 Fuzzy Sets in Natural Language Processing (context) - Novak - 1992
2 Sociological Applications of Fuzzy Classification Analysis (context) - Zhang, Brody et al. - 1994
2 Charles River Media Inc (context) - Cox, for et al. - 1995
Documents on the same site (http://www.deakin.edu.au/mis/pages/staff/pswatman/pdf/): More
Studying R-3 Communities: An Economic Lens - Wilde, Swatman (2000) (Correct)
Structured-case: A methodological framework for building.. - Carroll, Swatman (2000) (Correct)
Telecommunications-based Provision of Financial Services to.. - Wilde, al. (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC