Search the dblp DataBase

Publications of Author

1. Anca I. Vermesan
   Software Certification for Industry - Verification and Validation Issues in Expert Systems. [Citation Graph (0, 0)][DBLP]
   DEXA Workshop, 1998, pp:3-14 [Conf]
   
2. Anca I. Vermesan
   Knowledge-Based Systems: Verification and Validation in the view of Certification. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1997, pp:71-82 [Conf]
   
3. Anca I. Vermesan, Sigurd Meldal
   An Algebraic Approach to Refinement of KBS Specification. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1995, pp:265-276 [Conf]
   
4. Anca I. Vermesan, Frode Høgberg
   Applicability of Conventional Software Verification and Validation to Knowledge-based Components: A Qualitative Assessment. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1999, pp:343-357 [Conf]
   
5. Anca I. Vermesan, Jarle Sjøvag, Per Martinsen, Keith Bell
   Verification and Validation in Support for Software Certification Methods. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1999, pp:277-293 [Conf]
   
6. Trevor J. M. Bench-Capon, D. Castelli, Frans Coenen, L. Devendeville-Brisoux, Barry Eaglestone, N. J. Fiddian, W. A. Gray, Antoni Ligeza, Anca I. Vermesan
   Report on the 1st International Workshop on Validation, Verification and Integrity Issues of Expert and Database Systems. [Citation Graph (0, 0)][DBLP]
   Inf. Res., 1999, v:4, n:3, pp:- [Journal]
   
7. Anca I. Vermesan, Trevor J. M. Bench-Capon
   Techniques for the Verification and Validation of Knowledge-based Systems: A Survey Based on the Symbol/Knowledge Level Distinction. [Citation Graph (0, 0)][DBLP]
   Softw. Test., Verif. Reliab., 1995, v:5, n:4, pp:233-271 [Journal]