{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T13:52:49Z","timestamp":1648648369364},"reference-count":22,"publisher":"Elsevier BV","issue":"7","license":[{"start":{"date-parts":[[2003,5,1]],"date-time":"2003-05-01T00:00:00Z","timestamp":1051747200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[2003,5]]},"DOI":"10.1016\/s0950-5849(03)00013-2","type":"journal-article","created":{"date-parts":[[2003,5,12]],"date-time":"2003-05-12T23:55:41Z","timestamp":1052783741000},"page":"419-429","source":"Crossref","is-referenced-by-count":4,"title":["A formal specification for a fuzzy expert system"],"prefix":"10.1016","volume":"45","author":[{"given":"Chris","family":"Matthews","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0950-5849(03)00013-2_BIB1","doi-asserted-by":"crossref","first-page":"627","DOI":"10.1145\/242223.242257","article-title":"Formal methods: state of the art and future directions","volume":"28","author":"Clarke","year":"1996","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/S0950-5849(03)00013-2_BIB2","series-title":"The Fuzzy Systems Handbook","author":"Cox","year":"1994"},{"key":"10.1016\/S0950-5849(03)00013-2_BIB3","series-title":"Possibility Theory\u2014An Approach to Computerised Processing of Uncertainty","author":"Dubois","year":"1988"},{"key":"10.1016\/S0950-5849(03)00013-2_BIB4","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1016\/0165-0114(91)90172-M","article-title":"Fuzzy logic in commercial expert systems\u2014results and prospects","volume":"40","author":"Graham","year":"1991","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S0950-5849(03)00013-2_BIB5","series-title":"Prentice Hall International Series in Computer Science, Hemel Hempstead","author":"Hayes","year":"1993"},{"key":"10.1016\/S0950-5849(03)00013-2_BIB6","series-title":"The Way of Z: Practical Programming with Formal Methods","author":"Jacky","year":"1997"},{"key":"10.1016\/S0950-5849(03)00013-2_BIB7","series-title":"Neuro-Fuzzy and Soft Computing\u2014A Computational Approach to Learning and Machine Intelligence","author":"Jang","year":"1997"},{"key":"10.1016\/S0950-5849(03)00013-2_BIB8","series-title":"Fuzzy Expert Systems","year":"1992"},{"key":"10.1016\/S0950-5849(03)00013-2_BIB9","series-title":"Consensus under Fuzziness","first-page":"29","article-title":"Types and measures of uncertainty","author":"Klir","year":"1997"},{"key":"10.1016\/S0950-5849(03)00013-2_BIB10","doi-asserted-by":"crossref","unstructured":"C. Matthews, P.A. Swatman, Fuzzy Z\u2014The Extended Notation, revision 2 (2000). Technical Report 1999:38, School of Management Information Systems, Deakin University, 1999.","DOI":"10.1109\/APSEC.2000.896704"},{"key":"10.1016\/S0950-5849(03)00013-2_BIB11","unstructured":"C. Matthews, P.A. Swatman, Fuzzy concepts and formal methods: a fuzzy logic toolkit for Z. ZB2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users York, UK, 29 August to 2 September 2000, Lecture Notes in Computer Science, Springer, Berlin, 2000."},{"key":"10.1016\/S0950-5849(03)00013-2_BIB12","series-title":"Proceedings of the Seventh Asia Pacific Software Engineering Conference, Singapore","author":"Matthews","year":"2000"},{"key":"10.1016\/S0950-5849(03)00013-2_BIB13","unstructured":"J. Nichols, Z notation\u2014Version 1.3. Technical report, ISO, June 1998."},{"key":"10.1016\/S0950-5849(03)00013-2_BIB14","series-title":"Prentice Hall International Series in Computer Science, Hemel Hempstead","author":"Potter","year":"1996"},{"key":"10.1016\/S0950-5849(03)00013-2_BIB15","series-title":"Fuzzy Logic with Engineering Applications","author":"Ross","year":"1995"},{"key":"10.1016\/S0950-5849(03)00013-2_BIB16","series-title":"Software Requirements Engineering","first-page":"336","article-title":"Formal methods in information systems engineering","author":"Saiedian","year":"1997"},{"key":"10.1016\/S0950-5849(03)00013-2_BIB17","series-title":"Prentice Hall International Series in Computer Science, Hemel Hempstead","author":"Spivey","year":"1992"},{"key":"10.1016\/S0950-5849(03)00013-2_BIB18","series-title":"Proceedings of the Seventh International Conference on Putting into Practice Methods and Tools for Information Systems Design: Z twenty years on\u2014What is its Future?","author":"Valentine","year":"1995"},{"issue":"11","key":"10.1016\/S0950-5849(03)00013-2_BIB19","first-page":"26","article-title":"Fuzzy logic: concepts to constructs","volume":"8","author":"Viot","year":"1993","journal-title":"AI Expert"},{"issue":"9","key":"10.1016\/S0950-5849(03)00013-2_BIB20","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/2.58215","article-title":"A specifier's introduction to formal methods","volume":"23","author":"Wing","year":"1990","journal-title":"IEEE Computer"},{"issue":"4","key":"10.1016\/S0950-5849(03)00013-2_BIB21","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0020-0255(75)90036-5","article-title":"The concept of a linguistic variable and its application to approximate reasoning I","volume":"8","author":"Zadeh","year":"1975","journal-title":"Information Sciences"},{"key":"10.1016\/S0950-5849(03)00013-2_BIB22","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1016\/S0378-2166(97)00014-3","article-title":"Fuzziness\u2013vagueness\u2013generality\u2013ambiguity","volume":"29","author":"Zhang","year":"1998","journal-title":"Journal of Pragmatics"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584903000132?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584903000132?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T23:28:26Z","timestamp":1553383706000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584903000132"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,5]]},"references-count":22,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2003,5]]}},"alternative-id":["S0950584903000132"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(03)00013-2","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[2003,5]]}}}