The Ten15 project [software development]

Describes the background and progress of the Ten15 project at RSRE. The emphasis centres on the potential advantages to the software engineering community of the widespread adoption of Ten15 as a kernel for software engineering applications. Ten15 provides an algebraic basis for software development. It has three important aspects: first, it provides an interface that makes different computers compatible, thus ensuring the portability of all programs that are written on top of Ten15; the second major facet of Ten15 is that it provides a powerful set of facilities for implementing and integrating system components and databases within a distributed environment; and thirdly, Ten15 allows its users to preserve their existing investment in software