可靠軟件技術 Reliable software technologies

內容概要

This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe 2002, held in Vienna, Austria, in June 2002.The 24 revised full papers presented together with four invited papers were carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections on embedded systems, case studies, real-time systems, high-integrity systems, Ada language issues, program analysis, tools, distributed systems, and libraries and APIs.

書籍目錄

Invited Papers　Embedded Systems Unsuitable for Object Orientation　On Architectural Stability and Evolution　Encapsulating Failure Detection: From Crash to Byzantine Failures　Contextware: Bridging Physical and Virtual WorldsEmbedded Systems　Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processors　OMC-INTEGRAL Memory Management　Language Issues of Compiling Ada to HardwareCase Studies　Software Development Reengineering - An Experience Report　Development of a Control System for Teleoperated Robots Using UML and Ada95　Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded ApplicationsReal-Time Systems　A POSIX-Ada Interface for Application-Defined SchedulingHigh-Integrity Systems　Closing the Loop: The Influence of Code Analysis on Design　High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNATAda Language　How to Use GNAT to Efficiently Preprocess New Ada Sentences　Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada　Adding Design by Contract to the Ada LanguageProgram Analysis　Static Dependency Analysis for Concurrent Ada 95 Programs　DataFAN: A Practical Approach to Data Flow Analysis for Ada 95　Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Study.Tools　About the Difficulties of Building a Pretty-Printer for Ada　A Tailorable Distributed Programming EnvironmentDistributed Systems Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components……Libraries, APIs, and BindingsObject-OrientationAuthor Index

圖書封面

評論、評分、閱讀與下載

---

    可靠軟件技術 Reliable software technologies PDF格式下載

---