无价值
发表于 2025-3-26 23:07:25
http://reply.papertrans.cn/83/8265/826459/826459_31.png
Dislocation
发表于 2025-3-27 01:12:33
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
材料等
发表于 2025-3-27 05:49:37
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
免费
发表于 2025-3-27 10:08:12
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
发表于 2025-3-27 14:30:21
http://reply.papertrans.cn/83/8265/826459/826459_35.png
Paraplegia
发表于 2025-3-27 19:24:41
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
可行
发表于 2025-3-27 22:29:53
http://reply.papertrans.cn/83/8265/826459/826459_37.png
警告
发表于 2025-3-28 02:49:52
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
间谍活动
发表于 2025-3-28 07:50:22
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
发表于 2025-3-28 12:36:21
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