Software safety: why, what, and how
ACM Computing Surveys (CSUR)
Computer Standards & Interfaces - Special issue: Real-time distributed software
On the Implementation and Use of Ada on Fault-Tolerant Distributed Systems
IEEE Transactions on Software Engineering
Programming and debugging distributed real-time applications in Ada
IRTAW '87 Proceedings of the first international workshop on Real-time Ada issues
Implementing remote procedure calls
ACM Transactions on Computer Systems (TOCS)
Distributed Ada-approach and implementation
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Virtual nodes and units of distribution for distributed Ada
IRTAW '89 Proceedings of the third international workshop on Real-time Ada issues
Building distributed Ada applications from specifications and functional components
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
A practical tool for distributing Ada programs: TeleSoft's distributed Ada configuration tool
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Ada communication components for distributed and real time applications
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Ada in distributed systems: an overview
ACM SIGAda Ada Letters
Application of Ada on a distributed missile control system
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
| Hi-index | 0.00 |
This paper describes a set of tools which support a pre-partitioning approach to programming distributed systems in Ada. It also considers how these tools can be modified to support fault-tolerant applications.