Report on the 1st international workshop on validation, verification and integrity issues of expert and database systems

Information Research

Volumn 4, Issue 3, 1999, Pages 54-59

  Bench Capon, T ^a   Castelli, D ^b   Coenen, F ^a   Devendeville Brisoux, L ^c   Eaglestone, B ^d   Fiddian, N ^e   Gray, A ^e   Ligeza, A ^f   Vermesan, A ^g  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

^b ISTI CNR   (Italy)

^c UNIVERSITÉ D'ARTOIS   (France)

^d UNIVERSITY OF SHEFFIELD   (United Kingdom)

^e CARDIFF UNIVERSITY   (United Kingdom)

^f Institute of Automatics   (Poland)

^g Det Norske Veritas ^*  (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 3142729169     PISSN: 13681613     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (12)

1. Proceedings DEXA 98 Ninth International Workshop on Database and Expert Systems Applications (1998) August 260-28, 1988, Vienna, Austria, Ed. R.R. Wagner, IEEE Computer Society, 1998.
2. Bench-Capon, T.J.M. (1998) The Role of Ontologies in the Verification and Validation of Knowledge Based Systems, in (1).
3. Brisoux, L., Gregoire, E. and Sais, L. (1998) Validation of Knowledge-Based Systems by Means of Stochastic Search, in (1).
4. Castelli, D. and Pisani, S. (1998) Ensuring Correctness of Personalized Schema Refinement Transformations, in (1).
5. Coenen, F. (1998) Verification and Validation Issues in Expert and Database Systems: The Expert Systems Perspective, in (1).
6. Coenen, F.P. and Bench-Capon, T.J.M. (1993). Maintenance of Knowledge Based Systems: Theory, Tools and Techniques. Academic Press, London.
7. Eaglestone, B. and Ridley, M. (1998) Verification, Validation and Integrity
8. Issues in Expert and Database Systems: The Database Perspective, in (1).
9. Ibrahim, H., Gray, W. A., and Fiddian, N.J. (1998) Optimizing Fragment Constraints, in (1).
10. Ligeza, A. (1998) Towards Logical Analysis of Tabular Rule-Based Systems, in (1).
11. Millns, I. and Eaglestone, B. (1998) An Integrity Constraint for Database Systems Containing Embedded Neural Networks, in (1).
12. Vermesan, A.I. (1998), Software Certification for Industry - Verification and Validation Issues in Expert Systems, in (1).