毗邻
发表于 2025-3-23 12:05:49
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 what is being checked.
enchant
发表于 2025-3-23 17:06:42
Support of Technology Development in the Information Societyn will put emphasis on new developments in the software area, showing the importance of embedded systems and open source software. Finally the expected time frame and subjects for the next calls will be presented.
gusher
发表于 2025-3-23 18:32:11
http://reply.papertrans.cn/83/8265/826446/826446_13.png
prostate-gland
发表于 2025-3-23 22:21:15
Constructing Reliable Embedded Systems Using the Results of System Safety AnalysisA sufficiently decomposed system will be reconstructed by continuously comparing the quantitative and qualitative results of fault tree analysis with user-defined requirements satisfying reliability constraints.
Nucleate
发表于 2025-3-24 03:34:55
An Application of the Chains-of-Rare-Events Model to Software Development Failure Predictionmator has the important characteristic of quickly reaching stability around the true value. We apply this model to several data and compare it with a non homogenous Poisson process model, and the Poisson distribution compounded by a geometric model.
pancreas
发表于 2025-3-24 06:39:41
http://reply.papertrans.cn/83/8265/826446/826446_16.png
BET
发表于 2025-3-24 12:23:51
A Supporting Tool for Development of Self-Measurement Ada Programsed on the measurement specifications to support development of self-measurement Ada programs. It can automatically construct a self-measurement concurrent system from the functional part, the measurement part, and the measurement specifications of the system.
FAWN
发表于 2025-3-24 17:36:47
http://reply.papertrans.cn/83/8265/826446/826446_18.png
SIT
发表于 2025-3-24 21:21:52
Analysis, Design and Implementation of an Object-Oriented Framework in Ada95ain using diagrams of the UML. In further sections the mapping from design artifacts to code in Ada95 and the usage of the framework are shown. The article finishes with a summary of the experience gained and the lessons learned.
garrulous
发表于 2025-3-25 01:41:59
http://reply.papertrans.cn/83/8265/826446/826446_20.png