McCluskey, T.L. and West, Margaret M. (1998) Towards the Automated Debugging and Maintenance of Logic-based Requirements Models. In: Proceedings, 13th IEEE International Conference on Automated Software Engineering. IEEE Computer Society. ISBN 9780818687501
![]()
|
PDF
- Accepted Version
Download (82kB) | Preview |
Abstract
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a translator, that produces an executable form of the model; blame assignment functions, which input batches of
mis-classified tests (i.e. training examples) and output likely faulty parts of the model; and a theory reviser, which inputs the faulty parts and examples and outputs suggested revisions to the model. In particular, we concentrate on the problems encountered when applying these tools to a real application: a requirements model containing air traffic control separation standards, operating methods and airspace information.
Item Type: | Book Chapter |
---|---|
Additional Information: | Paper presented at 13th IEEE International Conference on Automated Software Engineering: October 13-16, 1998, Honolulu, Hawaii |
Subjects: | T Technology > T Technology (General) Q Science > QA Mathematics > QA76 Computer software |
Schools: | School of Computing and Engineering School of Computing and Engineering > Pedagogical Research Group School of Computing and Engineering > High-Performance Intelligent Computing School of Computing and Engineering > High-Performance Intelligent Computing > Planning, Autonomy and Representation of Knowledge School of Computing and Engineering > High-Performance Intelligent Computing > Planning, Autonomy and Representation of Knowledge |
Related URLs: | |
Depositing User: | Sharon Beastall |
Date Deposited: | 24 Jun 2010 12:13 |
Last Modified: | 28 Aug 2021 22:13 |
URI: | http://eprints.hud.ac.uk/id/eprint/7934 |
Downloads
Downloads per month over past year
Repository Staff Only: item control page
![]() |
View Item |