000 04522nam a22005175i 4500
001 978-3-540-48046-4
003 DE-He213
005 20160624102029.0
007 cr nn 008mamaa
008 121227s2002 gw | s |||| 0|eng d
020 _a9783540480464
_9978-3-540-48046-4
024 7 _a10.1007/3-540-48046-3
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
082 0 4 _a005.1
_223
245 1 0 _aReliable Software Technologies — Ada-Europe 2002
_h[electronic resource] :
_b7th Ada-Europe International Conference on Reliable Software Technologies Vienna, Austria, June 17–21, 2002 Proceedings /
_cedited by Johann Blieberger, Alfred Strohmeier.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2002.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2002.
300 _aXIV, 370 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v2361
505 0 _aInvited 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 Worlds -- Embedded Systems -- Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processors -- OMC-INTEGRAL Memory Management -- Language Issues of Compiling Ada to Hardware -- Case 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 Applications -- Real-Time Systems -- A POSIX-Ada Interface for Application-Defined Scheduling -- High-Integrity Systems -- Closing the Loop: The Influence of Code Analysis on Design -- High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT -- Ada 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 Language -- Program 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 Environment -- Distributed Systems -- Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components -- Transparent Environment for Replicated Ravenscar Applications -- Concurrency Control in Transactional Drago -- Libraries, APIs, and Bindings -- An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard -- GNAT Ada Database Development Environment -- Object-Orientation -- Ada, Interfaces and the Listener Paradigm -- Using Object Orientation in High Integrity Applications: A Case Study.
520 _aThis 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.
650 0 _aComputer science.
650 0 _aComputer Communication Networks.
650 0 _aSoftware engineering.
650 1 4 _aComputer Science.
650 2 4 _aSoftware Engineering.
650 2 4 _aProgramming Techniques.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aComputer Communication Networks.
700 1 _aBlieberger, Johann.
_eeditor.
700 1 _aStrohmeier, Alfred.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540437840
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v2361
856 4 0 _uhttp://dx.doi.org/10.1007/3-540-48046-3
942 _2EBK6288
_cEBK
999 _c35582
_d35582