Articoli correlati a Reliable Software Technologies - Ada-Europe 2002: 7th...

Reliable Software Technologies - Ada-Europe 2002: 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June ... Vienna, Austria, June 2002, Proceedings: 2361 - Brossura

 
9783540437840: Reliable Software Technologies - Ada-Europe 2002: 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June ... Vienna, Austria, June 2002, Proceedings: 2361

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

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 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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Compra usato

Condizioni: molto buono
Ex-library paperback in very nice...
Visualizza questo articolo

EUR 5,97 per la spedizione in U.S.A.

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

9783540830016: Reliable Software Technologies - Ada-Europe 2002

Edizione in evidenza

ISBN 10:  3540830014 ISBN 13:  9783540830016
Casa editrice: Springer, 2008
Brossura

Risultati della ricerca per Reliable Software Technologies - Ada-Europe 2002: 7th...

Foto dell'editore

Blieberger, Johann [Editor]; Strohmeier, Alfred [Editor];
Editore: Springer, 2002
ISBN 10: 3540437843 ISBN 13: 9783540437840
Antico o usato Paperback

Da: GuthrieBooks, Spring Branch, TX, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Codice articolo DA1412257

Contatta il venditore

Compra usato

EUR 42,04
Convertire valuta
Spese di spedizione: EUR 5,97
In U.S.A.
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Strohmeier, Alfred; Blieberger, Johann
Editore: Springer, 2002
ISBN 10: 3540437843 ISBN 13: 9783540437840
Nuovo Brossura

Da: Best Price, Torrance, CA, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. SUPER FAST SHIPPING. Codice articolo 9783540437840

Contatta il venditore

Compra nuovo

EUR 48,35
Convertire valuta
Spese di spedizione: EUR 6,81
In U.S.A.
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Blieberger, Johann (EDT); Streohmeier, Alfred (EDT)
Editore: Springer, 2002
ISBN 10: 3540437843 ISBN 13: 9783540437840
Nuovo Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo 986481-n

Contatta il venditore

Compra nuovo

EUR 53,03
Convertire valuta
Spese di spedizione: EUR 2,25
In U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Strohmeier, Alfred; Blieberger, Johann
Editore: Springer, 2002
ISBN 10: 3540437843 ISBN 13: 9783540437840
Nuovo Brossura

Da: Lucky's Textbooks, Dallas, TX, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo ABLIING23Mar3113020167667

Contatta il venditore

Compra nuovo

EUR 52,35
Convertire valuta
Spese di spedizione: EUR 3,41
In U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Strohmeier, Alfred; Blieberger, Johann
Editore: Springer, 2002
ISBN 10: 3540437843 ISBN 13: 9783540437840
Antico o usato paperback

Da: Reuseabook, Gloucester, GLOS, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

paperback. Condizione: Used; Good. Dispatched, from the UK, within 48 hours of ordering. This book is in good condition but will show signs of previous ownership. Please expect some creasing to the spine and/or minor damage to the cover. Grubby book may have mild dirt or some staining, mostly on the edges of pages. Codice articolo CHL10380074

Contatta il venditore

Compra usato

EUR 53,97
Convertire valuta
Spese di spedizione: EUR 6,34
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Strohmeier, Alfred; Blieberger, Johann
Editore: Springer, 2002
ISBN 10: 3540437843 ISBN 13: 9783540437840
Nuovo Brossura

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In. Codice articolo ria9783540437840_new

Contatta il venditore

Compra nuovo

EUR 58,32
Convertire valuta
Spese di spedizione: EUR 13,81
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Alfred Strohmeier, Johann Blieberger
Editore: Springer 2008-06-13, 2008
ISBN 10: 3540437843 ISBN 13: 9783540437840
Nuovo Paperback

Da: Chiron Media, Wallingford, Regno Unito

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: New. Codice articolo 6666-IUK-9783540437840

Contatta il venditore

Compra nuovo

EUR 56,75
Convertire valuta
Spese di spedizione: EUR 17,85
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Quantità: 10 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Blieberger, Johann (EDT); Streohmeier, Alfred (EDT)
Editore: Springer, 2002
ISBN 10: 3540437843 ISBN 13: 9783540437840
Nuovo Brossura

Da: GreatBookPricesUK, Woodford Green, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo 986481-n

Contatta il venditore

Compra nuovo

EUR 58,31
Convertire valuta
Spese di spedizione: EUR 17,29
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Blieberger, Johann|Strohmeier, Alfred
ISBN 10: 3540437843 ISBN 13: 9783540437840
Nuovo Brossura
Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 care. Codice articolo 4890650

Contatta il venditore

Compra nuovo

EUR 48,37
Convertire valuta
Spese di spedizione: EUR 48,99
Da: Germania a: U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Alfred Strohmeier
ISBN 10: 3540437843 ISBN 13: 9783540437840
Nuovo Taschenbuch
Print on Demand

Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 388 pp. Englisch. Codice articolo 9783540437840

Contatta il venditore

Compra nuovo

EUR 85,59
Convertire valuta
Spese di spedizione: EUR 23,00
Da: Germania a: U.S.A.
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Vedi altre 5 copie di questo libro

Vedi tutti i risultati per questo libro