Titlebook: Reliable Software Technologies - Ada Europe 96; 1996 Ada-Europe Inte Alfred Strohmeier Conference proceedings 1996 Springer-Verlag Berlin H

中國(guó)紀(jì)念碑

的’

結(jié)構(gòu)

Testing Ada 95 programs for conformance to rapide architectures,ng conformance of Ada programs to RAPIDE architectures. The paper then defines a language called RAPIDE-ADA that instruments Ada programs to produce events at run time. The events are tested for conformance against a RAPIDE reference architecture by application of the rules for testing conformance.

Bureaucracy

Yourself

有毛就脫毛

bourgeois

observatory

Fault-tolerance by replication in distributed systems,ervices (or objects), and present the two main classes of replication techniques: . and .. We introduce . as the infrastructure providing the adequate multicast primitives to implement either primary-backup replication, or active replication. Finally, we discuss the implementation of the two most fu

職業(yè)拳擊手

Ada95: An effective concurrent programming language,ws how the language abstractions supported by Ada can be combined to build effective higher-level abstractions. The three examples concern a concurrency problem, a fault tolerance requirement and a scheduling (real-time) issue. Together they illustrate that many of the criticisms that were rightly f

招惹

,Mapping HRT-HOOD? designs to Ada 95 hierarchical libraries,d on the HRT-HOOD method, but it can be extended to other OOD methods as well. Ada child packages are used to implement object aggregation or inclusion hierarchies. Renaming in the body, a new Ada 95 feature, is used to provide efficient mapping of composite object operations to component operations