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

alabaster

BRINK

平

Capturing and verifying performance requirements for hard real time systems,d spacecraft applications. The project has produced guidance for the software requirements, architectural design, detailed design and implementation phases of the software development process, based on the use of HOORA and HOOD methods. A system of annotations has been devised for capturing performa

豪華

Task termination in Ada 95,erminate’ option to the select statement. With the use of indirect communication (emphasised by the provision of protected objects in Ada 95), it is no longer straightforward to obtain program termination. This paper illustrates the problem and shows how the asynchronous select statement and a gener

Induction

accomplishment

Inertia

lymphedema

,CCO-MARS’96 integrating HOOD, Ada, and XInAda in a full Ada operational software project,OD, Ada, and XInAda in an operational project. The two main points of interest are one in the area of Man Machine Interfaces (MMIs), and the other in the development cycle of an operational product using HOOD and Ada technology. Developing a full Ada MMI using XInAda and Ada‘s tasking features turne

莊嚴

cartilage

Including non-functional issues in Anna/Ada programs for automatic implementation selection,uable comments, but also as an input for an algorithm capable of selecting the “best” package body for every package definition in a program, the “best” meaning the one that fits the set of non-functional requirements of the package in the program.