Titlebook: Reliable Software Technologies - Ada-Europe ‘98; 1998 Ada-Europe Inte Lars Asplund Conference proceedings 1998 Springer-Verlag Berlin Heide

手榴彈

Inside the distributed systems annex,mer can easily modify its monolithic application and transform it in a very short amount of time into a distributed one. However, there is a huge amount of work involved in the compiler and in external tools and libraries to build and run a distributed application without loosing Ada semantics and s

Allege

嚴(yán)重傷害

枯萎將要

superfluous

Brochure

(Astro)physical supercomputing: Ada95 as a safe, object oriented alternative,s virtually absolute sway over computational (astro)physics. The advent of Ada95 may have changed this unhappy situation. Extensive exploration of the potential of Ada in the field of spectral line synthesis over the past years has revealed its suitability for numerically intensive (astro)physical m

引起痛苦

Ada 95 for a distributed simulation system,alisation, split queue time warp, that allows lazy message reception and thus may reduce rollback frequency. The present paper contains a brief description of our algorithm and then describes an implementation that uses Ada 95 and its capabilities for distributed programming.

aerial

過(guò)渡時(shí)期

Quality-for-ASIS: A portable testing facility for ASIS,ific problems and requirements are presented. After a section about the basic concepts of ASIS and after a short introduction to testing, the designs and implementations for testing important subsets of ASIS are described. Finally, adequacy coverage statistics for a test set based on the ACVC compil

大量殺死

A two-level matching mechanism for object-oriented class libraries,ers in finding, understanding and modifying the components most relevant for their requirements. . techniques can provide easy to use, fast and cheap, but not necessarily very accurate, search tools. On the contrary, . can provide accurate results, while it is more difficult to use, slow and expensi