homocysteine 发表于 2025-3-26 23:10:28

http://reply.papertrans.cn/83/8265/826446/826446_31.png

cornucopia 发表于 2025-3-27 01:55:07

An Ada95 Programming Style Checker Using the GNAT ASIS Implementationlopment cycle. Style checking in this case is to be understood as anything that normally goes beyond the capabilities of an ordinary compiler. An implementation of a style checking framework written in Ada95 and using the GNAT ASIS implementation is presented. This framework also allows to specify w

誓言 发表于 2025-3-27 05:26:35

Enhancements in Software Project Risk Managementase at the start of the process, before risk identification is started, in which the project objectives are defined. Knowing the project objectives it is much easier to identify risks and link them to the project objectives they have an impact on. The second aspect is the possibility of creating a r

Pandemic 发表于 2025-3-27 13:31:31

http://reply.papertrans.cn/83/8265/826446/826446_34.png

GROSS 发表于 2025-3-27 17:31:30

An Application of the Chains-of-Rare-Events Model to Software Development Failure Predictionof-Rare-Events model to model grouped failures production. As it has been previously shown, this model can be analyzed as a compound Poisson with a Poisson Truncated at Zero as the compounding distribution. We introduce the mode estimator for the parameter of the Poisson Truncated at Zero. This esti

jocular 发表于 2025-3-27 20:47:02

Analysis, Design and Implementation of an Object-Oriented Framework in Ada95 Ada95. The framework was constructed in an industrial setting so that conclusions are drawn from first-hand, practical experience with this approach. After defining the term ’Object-Oriented Framework’, discrete event simulation is analyzed as the domain of concern in the given context, producing a

omnibus 发表于 2025-3-28 00:52:22

http://reply.papertrans.cn/83/8265/826446/826446_37.png

Cabinet 发表于 2025-3-28 05:47:42

http://reply.papertrans.cn/83/8265/826446/826446_38.png

丰富 发表于 2025-3-28 09:29:01

GtkAda: Design and Implementation of a High Level Binding in Ada and can be applied to other high level languages that need to interface with existing libraries. We also describe the various mechanisms developed to provide a powerful GUI builder with GtkAda..This paper emphasizes the added value that Ada brings to the task of writing a high level binding over an existing library.

彩色的蜡笔 发表于 2025-3-28 12:32:55

Ada after 10 Years of Usage – Is There a Commercial Future?mission-critical applications..This presentation will review the findings and conclusions of our task force, which led to our original commitment to use Ada. The report will also provide an assessment of the changes that have taken place within our industry over the last 10 years, and consider the i
页: 1 2 3 [4] 5 6 7
查看完整版本: Titlebook: Reliable Software Technologies Ada-Europe 2000; 5th Ada-Europe Inter Hubert B. Keller,Erhard Plödereder Conference proceedings 2000 Springe