不要不诚实
发表于 2025-3-25 04:12:05
A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems, are becoming more and more common. This papers discusses the feasibility of designing a real-time middleware for distributed high-integrity Ada programs with an statically analysable behaviour, and the necessary language restrictions that should be used in order to enable the required predictability and timeliness properties.
arthroscopy
发表于 2025-3-25 09:28:47
An Experience on Ada Programming Using On-Line Judging,y of the code. To ensure the authorship of the programs, a source-code plagiarism detection environment is used. Experimental results show the effectiveness of the proposed approach. The dropout rate decreased from 61% in the autumn semester 2007 to 48% in the autumn semester 2008.
BROW
发表于 2025-3-25 13:35:52
Modelling and Evaluating Real-Time Software Architectures, small and medium real-time systems, identifying and solving concurrency problems at the architecture phase thus saving later testing and debugging efforts. An illustrative example of modelling and evaluation of an elevator control system is presented.
排斥
发表于 2025-3-25 17:17:55
A Formal Foundation for Metamodeling,model, the OMG standard for expressing transformations. The goal of this formalization is, on the one hand, to reason about ambiguity and consistency of metamodels and, on the other hand, to support tests and proofs in model transformations.
砍伐
发表于 2025-3-25 20:42:14
Requirements on the Target Programming Language for High-Integrity MDE,driven engineering environment. We show that the dominant point of view for this selection becomes that of the designer of the model-to-code transformation engine. We then illustrate the application of the proposed requirements on a simple example.
要控制
发表于 2025-3-26 03:07:57
http://reply.papertrans.cn/83/8265/826450/826450_26.png
FLIC
发表于 2025-3-26 04:18:55
Validating Safety and Security Requirements for Partitioned Architectures,ailure, etc.). Each year, millions of dollars are lost due to these kinds of issues. Consequently, safety and security requirements must be enforced. Systems must be validated against these requirements to improve safety and security and to make them more reliable and robust. We present our approach
Lime石灰
发表于 2025-3-26 10:51:59
On Comparing Testing Criteria for Logical Decisions, criteria have different sizes and fault-detecting ability. Moreover, test sets that satisfy a stronger criterion and detect more faults usually consist of more test cases. A question that often puzzles software testing professionals and researchers is: when a testing criterion .1 helps to detect mo
fender
发表于 2025-3-26 14:07:53
http://reply.papertrans.cn/83/8265/826450/826450_29.png
Console
发表于 2025-3-26 17:45:34
http://reply.papertrans.cn/83/8265/826450/826450_30.png