{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,22]],"date-time":"2023-08-22T11:44:08Z","timestamp":1692704648556},"reference-count":32,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst. Man Cybern, Syst."],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/tsmca.2012.2211348","type":"journal-article","created":{"date-parts":[[2013,1,31]],"date-time":"2013-01-31T19:53:32Z","timestamp":1359662012000},"page":"643-654","source":"Crossref","is-referenced-by-count":8,"title":["Incremental Lifecycle Validation of Knowledge-Based Systems Through CommonKADS"],"prefix":"10.1109","volume":"43","author":[{"given":"Feras A.","family":"Batarseh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Avelino J.","family":"Gonzalez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/0965-9978(95)00018-R"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1080\/095281300454793"},{"key":"ref30","author":"batarseh","year":"2011","journal-title":"Incremental lifecycle validation of knowledge-based systems through CommonKADS"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1204375"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/21.286384"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843097000069"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/63334.63340"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/MEX.1986.4306977"},{"key":"ref15","first-page":"1","article-title":"An approach for automating the verification of KADS-based expert systems","author":"korany","year":"2007","journal-title":"Proc Int Conf Appl Informat Commun"},{"key":"ref16","author":"shreiber","year":"2000","journal-title":"Knowledge Engineering and Management?The CommonKADS Methodology"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/MEX.1987.5006538"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/S0957-4174(99)00045-7"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6916-6_23"},{"key":"ref28","first-page":"280","article-title":"Generation of a minimal set of test cases that is functionally equivalent to an exhaustive set, for use in knowledge-based system validation","author":"abel","year":"1996","journal-title":"Proc 9th FLAIRS Conf"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/52.854065"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/64.363263"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4302-0810-5"},{"key":"ref6","author":"gonzalez","year":"1993","journal-title":"The Engineering of Knowledge-Based Systems Theory and Practice"},{"key":"ref29","first-page":"402","article-title":"Utilizing criteria to reduce a set of test cases for expert system validation","author":"abel","year":"1997","journal-title":"Proc 10th FLAIRS Conf"},{"key":"ref5","year":"2009","journal-title":"Merriam-Webster Dictionary"},{"key":"ref8","year":"1995","journal-title":"U S Department of Defense Directive DoDD 5000 59"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ISESE.2003.1237976"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/2.947100"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/0952-1976(95)00018-6"},{"key":"ref1","author":"sommerville","year":"2007","journal-title":"Software Engineering"},{"key":"ref20","first-page":"102","article-title":"The VIVA method: A life-cycle independent approach to KBS validation","author":"wells","year":"1993","journal-title":"Proc AAAI Conf"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/64.223993"},{"key":"ref21","first-page":"1","article-title":"CML: The CommonKADS conceptual language","author":"schreiber","year":"1994","journal-title":"Proc LNCS Conf"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008653328901"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/69.706055"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ICECC.2004.1269583"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/S0933-3657(99)00016-0"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics: Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6221021\/6497536\/06425495.pdf?arnumber=6425495","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,11,14]],"date-time":"2017-11-14T07:32:50Z","timestamp":1510644770000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6425495\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":32,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tsmca.2012.2211348","relation":{},"ISSN":["2168-2216","2168-2232"],"issn-type":[{"value":"2168-2216","type":"print"},{"value":"2168-2232","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,5]]}}}