Reliable Software Technologies - Ada-Europe 2001
Editat de Dirk Craeynest, Alfred Strohmeieren Limba Engleză Paperback – 2 mai 2001
Preț: 328.72 lei
Preț vechi: 410.89 lei
-20%
Puncte Express: 493
Carte tipărită la comandă
Livrare economică 10-24 iulie
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: 9783540421238
ISBN-10: 3540421238
Pagini: 428
Ilustrații: XVI, 412 p.
Dimensiuni: 155 x 235 x 24 mm
Greutate: 0.65 kg
Ediția:2001
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540421238
Pagini: 428
Ilustrații: XVI, 412 p.
Dimensiuni: 155 x 235 x 24 mm
Greutate: 0.65 kg
Ediția:2001
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Invited Papers.- Building Formal Requirements Models for Reliable Software.- Using Ada in Interactive Digital Television Systems.- Testing from Formal Specifications, a Generic Approach.- Logic versus Magic in Critical Systems.- Can Java™ Meet Its Real-Time Deadlines?.- Program Analysis.- Parameter-Induced Aliasing in Ada.- Slicing Tagged Objects in Ada.- OASIS – An ASIS Secondary Library for Analyzing Object-Oriented Ada Code.- Distributed Systems.- Building Modern Distributed Systems.- Reliable Communication in Distributed Computer-Controlled Systems.- Building Robust Applications by Reusing Non-robust Legacy Software.- Real-Time Systems.- New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements.- Complex Task Implementation in Ada.- Implementing a Flexible Scheduler in Ada.- Language and Patterns.- Expression Templates in Ada.- A Design Pattern for State Machines and Concurrent Activities.- Component Libraries and Language Features.- Dependable Systems.- Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software.- Scenario-Based System Assessment.- Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation.- APIs and Components.- JEWL: A GUI Library for Educational Use.- Object-Oriented Stable Storage Based on Mirroring.- Transaction Support for Ada.- Real-Time Kernels.- MaRTE OS: An Ada Kernel for Real-Time Embedded Applications.- Implementing Ada.Real Time.Clock and Absolute Delays in Real-Time Kernels.- Defining New Non-preemptive Dispatching and Locking Policies for Ada.- Standard Formats: UML & XML.- Modelling Communication Interfaces with ComiX.- Safe Web Forms and XML Processing with Ada.- Mapping UML to Ada.- System Evolution.- Ship System 2000, a Stable Architecture underContinuous Evolution.- Migrating Large Applications from Ada83 to Ada95.- An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK.