Search:
Computing and Library Services - delivering an inspiring information environment

Towards the Automated Debugging and Maintenance of Logic-based Requirements Models

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

[img]
Preview
PDF - Accepted Version
Download (80kB) | 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 > Informatics Research Group
    School of Computing and Engineering > Informatics Research Group > Knowledge Engineering and Intelligent Interfaces
    Related URLs:
    Depositing User: Sharon Beastall
    Date Deposited: 24 Jun 2010 13:13
    Last Modified: 16 Dec 2010 13:43
    URI: http://eprints.hud.ac.uk/id/eprint/7934

    Document Downloads

    Downloader Countries

    More statistics for this item...

    Item control for Repository Staff only:

    View Item

    University of Huddersfield, Queensgate, Huddersfield, HD1 3DH Copyright and Disclaimer All rights reserved ©