Autonomic computing augurs great promise for deep space exploration missions, bringing onboard intelligence and less reliance on control links. As part of our research on the ASSL (Autonomic System Specification Language) ...
A process for rigorous inspection of concurrent systems using tabular specification was developed and applied to the classic Readers/Writers concurrent program by Jin in [15]. The process involved rewriting the program ...
The use of several distinct recovery procedures is one of the techniques that can be used to ensure high availability and fault-tolerance of computer systems. This method has been applied to telecommunications systems and ...
Most software products are too large to be completed by a single person in a short period. To make the development manageable, the software must be divided into components that can be developed (and later maintained) ...
In traditional engineering design, preparation of a sequence of documents precedes the actual
construction begins. Each document is used for review and analysis and, after revision, serves as
input to the next phase in ...
Improperly designed interfaces can make modular programs almost indistinguishable from monoliths. An interface encapsulates design decisions only if it need not be changed when those design decisions are changed. This talk ...