Reliable Software Technologies -- Ada-Europe 2003
Editat de Jean-Pierre Rosen, Alfred Strohmeieren Limba Engleză Paperback – 2 iun 2003
Preț: 385.06 lei
Puncte Express: 578
Carte tipărită la comandă
Livrare economică 24 iulie-07 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540403760
ISBN-10: 3540403760
Pagini: 448
Ilustrații: XIII, 432 p.
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.67 kg
Ediția:2003
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540403760
Pagini: 448
Ilustrații: XIII, 432 p.
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.67 kg
Ediția:2003
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Invited Papers.- An Invitation to Ada 2005.- Modules for Crosscutting Models.- Software Fault Tolerance: An Overview.- Ravenscar.- High Integrity Ravenscar.- Adding Temporal Annotations and Associated Verification to the Ravenscar Profile.- Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software.- Language Issues.- Booch’s Ada vs. Liskov’s Java: Two Approaches to Teaching Software Design.- A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Specification for Java™.- Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada.- Static Analysis.- Busy Wait Analysis.- Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation.- Quasar: A New Tool for Concurrent Ada Programs Analysis.- Distributed Information Systems.- A Graphical Environment for GLADE.- The Use of Ada, GNAT.Spitbol, and XML in the Sol-Eu-Net Project.- Transactions and Groups as Generic Building Blocks for Software Fault Tolerance.- Metrics.- Getting System Metrics Using POSIX Tracing Services.- Some Architectural Features of Ada Systems Affecting Defects.- Evidential Volume Approach for Certification.- Software Components.- A Survey of Physical Unit Handling Techniques in Ada.- Charles: A Data Structure Library for Ada95.- A Quality Model for the Ada Standard Container Library.- Formal Specification.- Experiences on Developing and Using a Tool Support for Formal Specification.- A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95.- Real-Time Kernel.- Running Ada on Real-Time Linux.- A Round Robin Scheduling Policy for Ada.- A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95.- Testing.- A Test Environment for High Integrity Software Development.- Normalized RestrictedRandom Testing.- Testing Safety Critical Ada Code Using Non Real Time Testing.- Real-time Systems Design.- The Standard UML-Ada Profile.- HRT-UML: Taking HRT-HOOD onto UML.- A Case Study in Performance Evaluation of Real-Time Teleoperation Software Architectures Using UML-MAST.