Abstract | ||
---|---|---|
In the problem area of evaluating complex software systems, there are two distinguished areas of research, development, and application identified by the two busswords valida*ion and verification, respectively. From the perspective adopted by the authors (cf. (O'Keefe & O'Leary 1993), e.g.), verification usually more formally based and, thus, can be sup- ported by formal reasoning tools like theorem provers, for instance. The scope of verification approaches is limited by the difllculty of finding a sufficiently complete formalisa- tion to built upon. In p~amount realistic problem domains, validation seems to be more appropriate, al- though it is less stringent in character and, therefore, validation results are often less definite. The aim of this paper is to exemplify a validation ap- proach based on a clear and thoroughly formal the- ory. In this way, validation and verification should be brought closer to each other, for the benefit of a con- cexted action towards dependable software systems. To allow for precise and sufficiently ciear results, the authors have selected the application domain of al- goritluns and systems for learning formal languages. By means of the validation toolkit TIC, some series of validation experiments have been performed. The results are presented for the sake of illustrating the underlying formal concepts in use. Comparing the validity of one learning approach to the invalidity of another one can be seen as an interesting result in its own right. |
Year | Venue | Keywords |
---|---|---|
2000 | FLAIRS Conference | learning systems validation,formal concepts,validation and verification,theorem prover,formal language,software systems |
Field | DocType | ISBN |
Programming language,Validation rule,Computer science,Theoretical computer science,Artificial intelligence,Formal methods,Verification and validation of computer simulation models,Verification and validation,Runtime verification,Formal specification,Machine learning,Formal verification,Software verification | Conference | 1-57735-113-4 |
Citations | PageRank | References |
0 | 0.34 | 11 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Volker Dötsch | 1 | 18 | 2.98 |
Gunter Grieser | 2 | 174 | 19.82 |
Klaus P. Jantke | 3 | 831 | 123.18 |
Steffen Lange | 4 | 206 | 20.29 |