Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z-Reference-Cited by-同舟云学术

Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z

Published:2000 Issue: Volume: Page:491-510
ISSN:0302-9743
Container-title:ZB 2000: Formal Specification and Development in Z and B
language:
Short-container-title:

Author:

Matthews Chris,Swatman Paul A.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-44525-0_29

Reference48 articles.

1. G.M. Allinger, S.L. Feinzig, and E.A. Janak. Fuzzy Sets and Personnel Selection: Discussion and an Application. Journal of Occupational and Organizational Psychology, 66:162–169, 1993.

2. G. Bojadziev and M. Bojadziev. Fuzzy Sets, Fuzzy Logic, Applications. World Scientific, Singapore, 1995.

3. P. Checkland. Systems Thinking, Systems Practice. John Wiley and Sons, Chichester, 1981.

4. P. Checkland and Jim Scholes. Soft Systems Methodology in Action. John Wiley and Sons, Chichester, 1990.

5. E. Cox. The Fuzzy Systems Handbook. AP Professional-Harcourt Brace & Company, Boston, 1994.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Formal Approach based on Fuzzy Logic for the Specification of Component-Based Interactive Systems;Electronic Proceedings in Theoretical Computer Science;2015-03-17

2. Modeling and Verifying Imprecise Requirements of Systems Using Event-B;Advances in Intelligent Systems and Computing;2014

3. Fuzzy Specification in Real Estate Market Decision Making;International Journal of Computational Intelligence Systems;2010-04

4. A Specification-Based Software Construction Framework for Reuse;Formal Methods and Software Engineering;2002