Automated knowledge-based software construction

The authors define a means for the acquisition of knowledge called the E-Specification Language. This specification is defined using set notions. Each specification consists of a domain-problem pair and a set of attributes that describe the current problem. This multidimensional array stores all existing problems and their attributes. These attributes are used in the resolution of whether any existing knowledge may be used in the future, or whether knowledge must be learned. Each user-given problem is classified by its domain and problem types. The authors also define a set of knowledge primitives, as knowledge units, to represent programming knowledge. These units are then used to construct more knowledge. The self-constructing knowledge enables automating the construction of software codes, testing, documentation and all other parts of the software life cycle. A few system algorithms are presented.< >