| |
| 2001 | ||
|---|---|---|
| 5 | T. L. McCluskey, Margaret Mary West: The Automated Refinement of a Requirements Domain Theory. Autom. Softw. Eng. 8(2): 195-218 (2001) | |
| 4 | Margaret Mary West, T. L. McCluskey: The Application of Machine Learning Tools to the Validation of an Air Traffic Control Domain Theory. International Journal on Artificial Intelligence Tools 10(4): 613-637 (2001) | |
| 2000 | ||
| 3 | EE | Margaret Mary West, T. L. McCluskey: The application of a machine learning tool to the validation of an air traffic control domain theory. ICTAI 2000: 414-421 |
| 1998 | ||
| 2 | EE | T. L. McCluskey, Margaret Mary West: Towards the Automated Debugging and Maintenance of Logic-based Requirements Models. ASE 1998: 105-114 |
| 1 | T. L. McCluskey, Margaret Mary West: A Case Study in the Use of Theory Revision in Requirements Validation. ICML 1998: 368-376 | |
| 1 | T. L. McCluskey (Thomas Leo McCluskey) | [1] [2] [3] [4] [5] |