Titlebook: Reliable Software Technologies - Ada-Europe 2002; 7th Ada-Europe Inter Johann Blieberger,Alfred Strohmeier Conference proceedings 2002 Spri

amygdala

Mutter

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/r/image/826461.jpg

Antecedent

https://doi.org/10.1007/3-540-48046-3Ada; Ada-Programming; Dependable Computing; Distributed Computing; Embedded Systems; Formal Methods; Java;

Fester

Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaations. Mobile code is used for application upload, as well as for remote configuration and maintenance of the autonomous station. Applications executing on the station may be charged for their resource consumption. This paper also outlines an initial application of the autonomous station, which has been recently deployed in a pilot project.

buoyant

嘲弄

Static Dependency Analysis for Concurrent Ada 95 Programsze dependencies for concurrent Ada 95 programs. Two graphs: concurrent program flow graph and concurrent program dependency graph are developed to represent concurrent Ada programs and analyze dependency relations. The paper also presents a dependency analysis algorithm, which can obtain more precise information than most previous methods we know.

同步信息

Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Studyper studies several ways of prioritizing test cases in a MUMCUT test set, which guarantees to detect certain types of faults in a Boolean specification written in irredundant disjunctive normal form. Our results suggest a certain ordering that reveals more faults earlier in the testing phases.

sorbitol

0302-9743 ystems, high-integrity systems, Ada language issues, program analysis, tools, distributed systems, and libraries and APIs.978-3-540-43784-0978-3-540-48046-4Series ISSN 0302-9743 Series E-ISSN 1611-3349

extrovert

疯狂