id	author	title	date	pages	extension	mime	words	sentences	flesch	summary	cache	txt
work_2zlvlsgvvbe5tke7aiw2ffir4u	Peter Lucas	Refinement of the HEPAR expert system: tools and techniques	1994	13	.pdf	application/pdf	5500	347	54	Methods and tools for the static and dynamic verification and validation of software systems are common place in the field of software engineering. Despite this fundamental limitation, software engineers consider dynamic methods indispensible aids in the software-development process, and supporting software tools are invariably expert systems, where it is much more difficult to ensure that the system meets its specifications and expectations than in software engineering, tools that aid in the dynamic verification tools, which were applied during the development of the HEPAR system, a rule-based expert In Section 3, the subject of knowledge-base refinement is related to expert-system validation Most of the information obtained by the dynamic validation of the HEPAR knowledge Some of the software tools that have been developed for the dynamic validation of the HEPAR The environment of software tools developed for the dynamic validation of HEPAR consists refinement of the HEPAR knowledge base for the 82 patient cases from Leiden University	./cache/work_2zlvlsgvvbe5tke7aiw2ffir4u.pdf	./txt/work_2zlvlsgvvbe5tke7aiw2ffir4u.txt