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

无价值

Dislocation

HCSD unit development process: Step-wise process improvement,iginally estimated to be over a million lines of Ada code, has evolved from prototyping concepts and requirements to producing operational software. This paper describes the evolution of the procedures for software development. We explain the reasons behind the changes made to the unit development p

材料等

Testing Ada 95 programs for conformance to rapide architectures,a and composition of modules. The architecture of a complex software system is a significant issue in the proper design, analysis and possibility of reuse of the software system..This paper describes how the architecture of an Ada program may be extracted at run time and tested for conformance again

免费

Tasking deadlocks in Ada 95 programs and their detection,dlocks which may occur in Ada 95 programs are investigated, a representation, named the Task-Wait-For Graph, for task synchronization waiting state of an Ada 95 program is proposed, and a run-time detection method for the tasking deadlocks based on the Task-Wait-For Graph is presented.

outrage

Paraplegia

A framework for testing object oriented software using formal specifications,ct-Z as the formal specification language..We have designed and prototyped a test system called OℤTEST. It understands the characteristics of object-oriented specifications including inheritance. OℤTEST maps the specification to a corresponding implementation. Test shells generated from the given Ob

可行

警告

Drago: An Ada extension to program fault-tolerant distributed applications,s the result of an effort to impose discipline and give linguistic support to the main concepts of Isis, as well as to experiment with the group communication paradigm. Drago has been designed and implemented as an extension to Ada 83. In this paper we introduce Drago, give some simple examples of i

间谍活动

The dining philosophers in Ada 95, 95 tasking features including protected types, entry barriers dependent on an entry family index, the requeue statement, and asynchronous transfer of control. The paper compares the approaches with respect to style, portability, and performance.

Cholagogue

0302-9743 ntreux, Switzerland, in June 1996..The 35 revised full papers selected for inclusion in the volume, along with four attractive invited papers, were contributed by researchers, developers, and users; they cover numerous aspects of the Ada 95 programming language and address various current topics of