Toward a theory of verification and vali
β
Daniel E. O'Leary
π
Article
π
1994
π
John Wiley and Sons
π
English
β 852 KB
This article uses the notion of artifacts to generate a theory for the verification and validation of intelligent systems. This theory has a number of applications. First, it provides a language and a way of thinking about verification and validation. Second, it suggests that we examine not the proc