Title :
Verifying and validating an expert system for financial statement planning
Author_Institution :
Turku Sch. of Econ. & Bus. Adm., Finland
Abstract :
The general procedures for verification and validation of traditional software cannot usually be followed when verifying and validating an expert system. It is shown how the verification and validation of a concrete full-sized expert system for financial statement planning is conducted, utilizing previously developed guidelines and incorporating them into the classical spiral model used in developing the system
Keywords :
expert systems; financial data processing; formal verification; program verification; ES verification; classical spiral model; concrete full-sized expert system; expert system; financial statement planning; validating; Concrete; Costs; Expert systems; Finance; Guidelines; Process planning; Smoothing methods; Spirals; Strategic planning; Usability;
Conference_Titel :
System Sciences, 1993, Proceeding of the Twenty-Sixth Hawaii International Conference on
Conference_Location :
Wailea, HI
Print_ISBN :
0-8186-3230-5
DOI :
10.1109/HICSS.1993.284322
