KNOWLEDGE REPRESENTATION OF SOFTWARE LIFE-CYCLE INFORMATION USING FIRST-ORDER LOGIC.

Stephen S. Yau, Jing Pha Tsai, Robin A. Nicholl

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations

Abstract

An approach using first-order logic for knowledge representation of software life-cycle information to facilitate software development and maintenance is presented. This representation is independent of the programming language used in software development and covers certain basic characteristics of a software system: control flow, data flow, and data structure. These basic characteristics of a software system are specified using the Graph Description Language (GDL) and can be translated into logic representation for the information in the entire life cycle of the software system. The translated logic representation is a set of logic clauses and can be considered as a set of axioms. In the software maintenance phase, automated reasoning techniques based on these axioms can be used to prove certain software properties to facilitate software modification.

Original languageEnglish (US)
Title of host publicationProceedings - IEEE Computer Society's International Computer Software & Applications Conference
PublisherIEEE
Pages268-277
Number of pages10
ISBN (Print)0818606436
StatePublished - Dec 1 1985
Externally publishedYes

Publication series

NameProceedings - IEEE Computer Society's International Computer Software & Applications Conference

ASJC Scopus subject areas

  • Software
  • Computer Science Applications

Fingerprint

Dive into the research topics of 'KNOWLEDGE REPRESENTATION OF SOFTWARE LIFE-CYCLE INFORMATION USING FIRST-ORDER LOGIC.'. Together they form a unique fingerprint.

Cite this