 |
DTIC ADA284934: Software Technology for Adaptable, Reliable Systems... |
 |
by Defense Technical Information Center |
 |
Thumbnail |
|
Download |
 |
Web page |
|
|
|
The Reuse Library Framework (RLF) is an Ada system |
|
designed and implemented to support the production and |
|
installation of domain specific software library systems. |
|
The RLF is based on two fundamental subsystems: AdaKNET |
|
(Ada Knowledge NETwork) and AdaTAU (TAU is an acronym for |
|
Think Ask Update) which are knowledge representation and |
|
inferencing systems derived from systems previously |
|
developed by Paramax in Prolog. These subsystems are |
|
supported by an intergrating framework to allow them to |
|
be used in combination with each other. AdaKNET and |
|
AdaTAU are also equipped with interface specification |
|
languages (Library Model Definition Language (LMDL) and |
|
Rule Base Definition Language (RBDL) respectively) that |
|
are used to initialize domain models that describe the |
|
library (or application) domain. In addition to the |
|
support of library systems, the RLF was used to develop a |
|
prototype Ada unit test assistant during the STARS |
|
Foundations period and has been applied to the |
|
representation of software and reuse process models which |
|
are themselves machine processable. |
|
|
|
Date Published: 2018-03-20 00:22:02 |
|
Identifier: DTIC_ADA284934 |
|
Item Size: 30166555 |
|
Language: english |
|
Media Type: texts |
|
|
|
# Topics |
|
DTIC Archive; ; UNISYS CORP RESTON VA... |
|
|
|
# Collections |
|
dticarchive |
|
additional_collections |
|
|
|
# Uploaded by |
|
@chris85 |
|
|
|
# Similar Items |
|
View similar items |
|
|
|
PHAROS |
|
