{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T05:04:52Z","timestamp":1676005492083},"reference-count":15,"publisher":"Hindawi Limited","issue":"9","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":7913,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Intell. Syst."],"published-print":{"date-parts":[[1994]]},"DOI":"10.1002\/int.4550090903","type":"journal-article","created":{"date-parts":[[2007,7,8]],"date-time":"2007-07-08T21:36:08Z","timestamp":1183930568000},"page":"787-807","source":"Crossref","is-referenced-by-count":0,"title":["A design language and the use of cleanroom methodology for knowledge-based system development"],"prefix":"10.1155","volume":"9","author":[{"given":"Fred","family":"Highland","sequence":"first","affiliation":[]},{"given":"Brent","family":"Kornman","sequence":"additional","affiliation":[]}],"member":"98","reference":[{"key":"10.1002\/int.4550090903-BIB1","author":"Mills","year":"1987","unstructured":", and , \u201cCleanroom software engineering,\u201d IEEE Software, September 1987."},{"key":"10.1002\/int.4550090903-BIB2","author":"Clancey","unstructured":"\u201cClassification problem solving,\u201d In Proceedings of the National Conference on Artificial Intelligence, 1984."},{"key":"10.1002\/int.4550090903-BIB3","author":"Chandrasekaran","year":"1990","unstructured":"\u201cDesign problem solving: A task analysis,\u201d AI Mag., 59\u201371 (Winter 1990)."},{"key":"10.1002\/int.4550090903-BIB4","author":"Genesereth","unstructured":"\u201cAn overview of meta-level architecture,\u201d In Proceedings of the National Conference on Artificial Intelligence, 1983."},{"key":"10.1002\/int.4550090903-BIB5","doi-asserted-by":"crossref","DOI":"10.1145\/27632.28054","volume":"18","author":"Mili","year":"1986","journal-title":"ACM Comput. Surv."},{"key":"10.1002\/int.4550090903-BIB6","author":"Linger","year":"1992","unstructured":"\u201cCleanroom software engineering for zero-defect software,\u201d submitted for publications, June 1992."},{"key":"10.1002\/int.4550090903-BIB7","author":"Linger","year":"1979","unstructured":", and , Structured Programming: Theory and Practice Addison-Wesley, Reading, MA, 1979."},{"key":"10.1002\/int.4550090903-BIB8","volume-title":"Principles of Information Systems Analysis and Design","author":"Mills","year":"1986","unstructured":", and , Principles of Information Systems Analysis and Design, Academic Press, New York, 1986."},{"key":"10.1002\/int.4550090903-BIB9","author":"Gamble","year":"1991","unstructured":", and , \u201cFormal verification of pure production system programs,\u201d In Proceedings of the Ninth National Conference on Artificial Intelligence, 1991."},{"key":"10.1002\/int.4550090903-BIB10","author":"Hamilton","year":"1991","unstructured":"and , \u201cA design language for testable expert systems,\u201d In AAAI Workshop on Verification and Validation of Expert Systems, 1991."},{"key":"10.1002\/int.4550090903-BIB11","author":"Hamilton","year":"1992","unstructured":"and , Workshop on the Verification and Validation of Expert Systems: Presentation Material, University of Houston at Clear Lake, 1992."},{"key":"10.1002\/int.4550090903-BIB12","author":"Kornman","year":"1993","unstructured":", , , , , , , , and , \u201cAI in the sky: the A2A3 testbed,\u201d In Proceedings of the Tenth IEEE Conference on Artificial Intelligence Applications, 1993."},{"key":"10.1002\/int.4550090903-BIB13","author":"Boehm","year":"1981","unstructured":"Software Engineering Economics, Prentice-Hall, Englewood Cliffs, NJ, 1981."},{"key":"10.1002\/int.4550090903-BIB14","volume-title":"Thriving on Chaos","author":"Peters","year":"1987","unstructured":"Thriving on Chaos, Knopf, New York, 1987."},{"key":"10.1002\/int.4550090903-BIB15","volume-title":"Analysis for Knowledge-based Systems, A Practical Guide to the KADS Methodology","author":"Hickman","year":"1991","unstructured":"Analysis for Knowledge-based Systems, A Practical Guide to the KADS Methodology, Ellis Horwood Books, 1991."}],"container-title":["International Journal of Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fint.4550090903","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/int.4550090903","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T15:34:27Z","timestamp":1675956867000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/int.4550090903"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"references-count":15,"journal-issue":{"issue":"9","published-print":{"date-parts":[[1994]]}},"URL":"https:\/\/doi.org\/10.1002\/int.4550090903","relation":{},"ISSN":["0884-8173","1098-111X"],"issn-type":[{"value":"0884-8173","type":"print"},{"value":"1098-111X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}