Reliable Software Technologies -- Ada-Europe 2003

Reliable Software Technologies -- Ada-Europe 2003
Author :
Publisher : Springer Science & Business Media
Total Pages : 442
Release :
ISBN-10 : 9783540403760
ISBN-13 : 3540403760
Rating : 4/5 (60 Downloads)

Book Synopsis Reliable Software Technologies -- Ada-Europe 2003 by : Jean-Pierre Rosen

Download or read book Reliable Software Technologies -- Ada-Europe 2003 written by Jean-Pierre Rosen and published by Springer Science & Business Media. This book was released on 2003-06-02 with total page 442 pages. Available in PDF, EPUB and Kindle. Book excerpt: The refereed proceedings of the 8th International Conference on Reliable Software Technologies, Ada-Europe 2003, held in Toulouse, France in June 2003. The 29 revised full papers presented together with 3 invited papers were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on Ravenscar, language issues, static analysis, distributed information systems, software metrics, software components, formal specification, real-time kernel, software testing, and real-time systems design.


Reliable Software Technologies -- Ada-Europe 2003 Related Books

Reliable Software Technologies -- Ada-Europe 2003
Language: en
Pages: 442
Authors: Jean-Pierre Rosen
Categories: Business & Economics
Type: BOOK - Published: 2003-06-02 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The refereed proceedings of the 8th International Conference on Reliable Software Technologies, Ada-Europe 2003, held in Toulouse, France in June 2003. The 29 r
Reliable Software Technologies - Ada-Europe 2008
Language: en
Pages: 294
Authors: Fabrice Kordon
Categories: Business & Economics
Type: BOOK - Published: 2008-06-03 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 13th International Conference on Reliable Software Technologies, Ada-Europe 2008, held in Venice, Italy, i
Reliable Software Technology – Ada-Europe 2005
Language: en
Pages: 285
Authors: Tullio Vardanega
Categories: Business & Economics
Type: BOOK - Published: 2005-06-08 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 10th International Conference on Reliable Software Technologies, Ada-Europe 2005, held in York, UK in June
Reliable Software Technologies - Ada-Europe 2009
Language: en
Pages: 295
Authors: Fabrice Kordon
Categories: Computers
Type: BOOK - Published: 2009-05-25 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, held in Brest, France,
Reliable Software Technologies - Ada-Europe 2004
Language: en
Pages: 344
Authors: Albert Llamosi
Categories: Computers
Type: BOOK - Published: 2004-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 9th International Conference on Reliable Software Technologies, Ada-Europe 2004, held in Palma de Mallorca