Search the dblp DataBase

Publications of Author

1. T. L. McCluskey, Margaret Mary West
   A Case Study in the Use of Theory Revision in Requirements Validation. [Citation Graph (0, 0)][DBLP]
   ICML, 1998, pp:368-376 [Conf]
   
2. Margaret Mary West, T. L. McCluskey
   The application of a machine learning tool to the validation of an air traffic control domain theory. [Citation Graph (0, 0)][DBLP]
   ICTAI, 2000, pp:414-421 [Conf]
   
3. T. L. McCluskey, Margaret Mary West
   Towards the Automated Debugging and Maintenance of Logic-based Requirements Models. [Citation Graph (0, 0)][DBLP]
   ASE, 1998, pp:105-114 [Conf]
   
4. T. L. McCluskey, Margaret Mary West
   The Automated Refinement of a Requirements Domain Theory. [Citation Graph (0, 0)][DBLP]
   Autom. Softw. Eng., 2001, v:8, n:2, pp:195-218 [Journal]
   
5. Margaret Mary West, T. L. McCluskey
   The Application of Machine Learning Tools to the Validation of an Air Traffic Control Domain Theory. [Citation Graph (0, 0)][DBLP]
   International Journal on Artificial Intelligence Tools, 2001, v:10, n:4, pp:613-637 [Journal]
   
6. 
   Acquisition of Object-Centred Domain Models from Planning Examples. [Citation Graph (, )][DBLP]
   
   
7. 
   Automated Acquisition of Action Knowledge. [Citation Graph (, )][DBLP]