Towards an Ada basis for KBSE: Refine-Ada 95 conversion

Abstract

Knowledge-Based Software Engineering (KBSE) can be facilitated by more accessible enabling technology. Ada95 is now universally- accessible, so the universal accessibility of KBSE will be assured if Ada95 is seen to support it. An automatic conversion from the Refine programming language component of the Software Refinery KBSE environment exposes the strengths and weaknesses of Ada95's support for KBSE. At the very least, Ada95 enables the more widespread distribution of KBSE applications developed with Software Refinery.