Mendacious 发表于 2025-3-27 00:06:52

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

AMEND 发表于 2025-3-27 02:04:02

XML4Ada95 Accessing XML Using the DOM in Ada95l XML package in Ada95 with a complete access to XML the DOM Levels 1 and 2 Core. Xerces is written in C++, so patterns for interfacing Ada95 with C++ in a standardized fashion were developed in order to write XML4Ada95. Those patterns are described here, along with examples of how to use XML4Ada95

cleaver 发表于 2025-3-27 06:53:11

http://reply.papertrans.cn/83/8265/826444/826444_33.png

Evacuate 发表于 2025-3-27 12:28:37

Good Random Testingom the input domain, is a simple and efficient method of Software Testing. Previous research has indicated that, under certain circumstances, the performance of RT can be improved by enforcing a more even, well-spread distribution of test cases over the input domain. Test cases that contribute to th

dapper 发表于 2025-3-27 14:08:09

Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Adarm and it allows the development of different control applications for educational purposes. Because of the platform is a limited resource and the students can not test their programs simultaneously, a railroad platform simulator has been developed. The programming language used to implement the sim

调味品 发表于 2025-3-27 21:21:43

High Integrity Ada in a UML and C Worlde a client was just content to accept something that worked (actually, would be . to have something that worked) now they are concerned about the means by which it was constructed; not just in the sense of was it . constructed but in the more malign sense of .. This paper shows how the customer’s de

NIB 发表于 2025-3-27 22:05:34

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

Hamper 发表于 2025-3-28 02:16:43

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

Antarctic 发表于 2025-3-28 06:50:14

http://reply.papertrans.cn/83/8265/826444/826444_39.png

Carbon-Monoxide 发表于 2025-3-28 13:26:24

High Integrity Ada in a UML and C Worldth other subsystems; for the perceived comfort of future portability; or for other, non-technical reasons—can be aligned with the professional engineer’s need to use those tools and languages which are truly appropriate for rigorous software development.
页: 1 2 3 [4] 5 6 7
查看完整版本: Titlebook: Reliable Software Technologies - Ada-Europe 2004; 9th Ada-Europe Inter Albert Llamosí,Alfred Strohmeier Conference proceedings 2004 Springe