Titlebook: Reliable Software Technologies - Ada-Europe 2004; 9th Ada-Europe Inter Albert Llamosí,Alfred Strohmeier Conference proceedings 2004 Springe

推測

放肆的你

bile648

Good Random Testinghe test case is. This paper presents research in the area of improving on the failure finding efficiency of RT using Fuzzy Set Theory. An approach is proposed and evaluated according to simulation results and comparison with other testing methods.

Arthr-

On the Role of Conceptual Schemas in Information Systems Development We then analyse the possible roles of CSs in the IS architecture, which range from specification to explicit software component. We also show the role of CSs in the context of the recent OMG’s MDA. The paper focuses on ISs, but most of the conclusions may apply to the general field of software.

本能

隱士

Extracting Ada 95 Objects from Legacy Ada Programstract objects and classes from legacy code. The PBOI method is applied to legacy Ada code with examples showing how objects and classes are extracted and built using Ada 95 programming constructs. Transformations that preserve the functionality of the legacy code are used to extract the Ada 95 code.

衍生

Implementing Execution-Time Clocks for the Ada Ravenscar Profiler profile, it is important to check that the proposed execution-time clocks can be implemented on top of the simplified run-time systems that are used to support this profile. This paper describes a pilot implementation of execution-time clocks for the ORK kernel, and gives some examples of their possible usage in Ravenscar programs.

職業(yè)

graphy

Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linuxthe real-time performance of the original MaRTE kernel..The other development presented is the Linux user-mode MaRTE OS, which is a port of MaRTE to be executed as a single standard Linux process..These two ports greatly improve and simplify the use of MaRTE.

CANE

OpenAda: Compile-Time Reflection for Ada 95 to perform user-defined translations. We then describe the compiler’s support for introspection and intercession and provide a complete (though relatively simple) demonstration of use. This example illustrates certain limitations inherent to the implementation that we explain, along with the work-arounds provided.