Titlebook: Reliable Software Technologies - Ada-Europe ‘97; 1997 Ada-Europe Inte Keith Hardy,Jim Briggs Conference proceedings 1997 Springer-Verlag Be

Precursor

Implementing application-level sporadic server schedulers in Ada 95,omplished using the features defined in the Ada 95 language. The different implementations are designed using extensible data types, to take advantage of the inheritance and polymorphism features of the language.

急性

,CCO-MARS’96 integrating HOOD, Ada, and XInAda in a full Ada operational software project,to cover the whole development cycle. As a consequence of this technical integration, large intrinsic development security and confidence were obtained even though glitches made the overall process tedious; but the lessons learned from the mishaps are now invaluable.

excrete

惰性氣體

Developing scripting capabilities for an Ada-based simulator,properties and behavior of a number of simulated entities that the desired environment is composed of. This paper describes a design which, instead of hard-coding script interpretation into the simulated entities, . the scripting capabilities from the implementation of the simulated entities.

ROOF

Systematic unit-testing of Ada programs, strengths of AdaTEST are the comprehensive support for test execution and coverage analysis. The combination of both tools leads to systematic and well-documented test procedures. It has already been successfully applied to several real world examples including aerospace applications.

外來

Capturing and verifying performance requirements for hard real time systems,nce and other non-functional requirements in HOORA and HOOD, such that existing method support tools are not affected by the presence of the annotations, which can be processed by additional tools. The paper outlines the guidance and the system of annotations.

缺陷

Task termination in Ada 95,al-purpose library package can be used to simplify the termination protocols. The advantages and disadvantages of the approach are discussed. The paper then considers the extent to which termination could be supported in Ada. It explores the idea of having a termination option with an entry call.

AWL

getreten und seitdem nie wieder für l?ngere Zeit von diesem prominenten Platz verschwunden. Die Krise in den benachbarten zairischen Kivu-Provinzen — Ausgangspunkt für die milit?rische Eroberung der Macht in der Hauptstadt Kinshasa durch die Truppen Kabilas — stand in einem unabweislichen Zusammenh

褻瀆

Bernd Holzmüller,Erhard Pl?dereder als RR) für Gesellschaftslehre in Hessen. Rahmenrichtlinien waren der Versuch, Lernprozesse in Schulen nicht mehr an einen bestimmten Stoffkanon zu binden, sondern an allgemeinen und fachspezifischen Lernzielen zu orientieren. In Hessen bildeten die RR einen Teil einer auf Reform angelegten Schulpo

Charade