DocumentCode
1803739
Title
Verifying and validating an expert system for financial statement planning
Author
Back, Barbro
Author_Institution
Turku Sch. of Econ. & Bus. Adm., Finland
fYear
1993
fDate
5-8 Jan 1993
Firstpage
268
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;
fLanguage
English
Publisher
ieee
Conference_Titel
System Sciences, 1993, Proceeding of the Twenty-Sixth Hawaii International Conference on
Conference_Location
Wailea, HI
Print_ISBN
0-8186-3230-5
Type
conf
DOI
10.1109/HICSS.1993.284322
Filename
284322
Link To Document