DEBL: a knowledge-based language for specifying and debugging distributed programs

Cheng, Wan-Hong S.; Wallentine, Virgil

doi:10.1145/66451.66455

“…The control and data flow are also analysed in the Prolog-based project (Yau and Liu, 1986). Specific languages for debugging, even in distributed systems, have been developed, such as DEBL (Cheng and Wallentine, 1989). Generally, the bug localization is interactive, and includes tests.…”

Section: Knowledge-based Software Maintenancementioning

confidence: 99%

SOFTM: a software maintenance expert system in Prolog

Pau

¹

,

Negret²

1988

Proceedings. Conference on Software Maintenance, 1988.

View full text Add to dashboard Cite

This paper describes a software maintenance (SM) knowledge based system ealled SOFTM, serving the three following purposes: (1) assisting a software programmer or analyst in his application code maintenFce tasks, (2) generating and updating automatically sonware correction documentation, (3) helping the end user register, and possibly interpret, observed errors on the successive application code versions. The knowledge based system SOFTM is written in PROLOG 11, and is largely applicable to application codes written in different programming languages, provided 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 is relying 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 I1 to a variety of other languages.

show abstract

SOFTM: A software maintenance expert system in Prolog

Pau

¹

,

Kristinsson

²

1990

J. Softw. Maint: Res. Pract.

View full text Add to dashboard Cite

This paper describes a software maintenance (SM) knowledge based system ealled SOFTM, serving the three following purposes: (1) assisting a software programmer or analyst in his application code maintenFce tasks, (2) generating and updating automatically sonware correction documentation, (3) helping the end user register, and possibly interpret, observed errors on the successive application code versions. The knowledge based system SOFTM is written in PROLOG 11, and is largely applicable to application codes written in different programming languages, provided 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 is relying 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 I1 to a variety of other languages.

show abstract