SOFTM: a software maintenance expert system in Prolog

L. Pau, J. M. Negret

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    2162 Downloads (Pure)


    A description is given of a knowledge-based system called SOFTM, serving the following purposes: (1) assisting a software programmer or analyst in his application code maintenance tasks, (2) generating and updating automatically software correction documentation, (3) helping the end user register, and possibly interpret, observed errors on the successive application code versions. SOFTM is written in Prolog II and is largely applicable to application codes written in different programming languages, provides code descriptors can be retrieved. SOFTM does not address any of the syntactic, input-output, or procedural errors normally detected by the syntactic analyzer, compiler, or by the operating system environment. SOFTM relies on a unique ATN network-based code description, on diagnostic inference procedure based on context-based pattern classification, on maintenance log report generators, and on interfacing capabilities of Prolog II to a variety of other languages
    Original languageEnglish
    Title of host publicationProceedings of the Conference on Software Maintenance
    Place of PublicationScottsdale, AZ, USA
    Publication date1988
    ISBN (Print)0-8186-0879-X
    Publication statusPublished - 1988
    EventConference on Software Maintenance - Scottsdale, AZ, USA
    Duration: 1 Jan 1988 → …


    ConferenceConference on Software Maintenance
    CityScottsdale, AZ, USA
    Period01/01/1988 → …

    Bibliographical note

    Copyright: 1988 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE


    Dive into the research topics of 'SOFTM: a software maintenance expert system in Prolog'. Together they form a unique fingerprint.

    Cite this