Amazon cover image
Image from Amazon.com

Reliable software technologies : Ada-Europe 2006 : 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006 : proceedings / Luís Miguel Pinho, Michael González Harbour (eds.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 4006.Publication details: Berlin ; New York : Springer, ©2006.Description: 1 online resource (xii, 240 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540346647
  • 3540346643
  • 3540346635
  • 9783540346630
Other title:
  • Ada-Europe 2006
  • 11th Ada-Europe International Conference on Reliable Software Technologies
  • Eleventh Ada-Europe International Conference on Reliable Software Technologies
Subject(s): Genre/Form: Additional physical formats: Print version:: Reliable software technologies.DDC classification:
  • 005 22
LOC classification:
  • QA76.76.R44 A44 2006eb
Online resources:
Contents:
Real-time systems -- Static analysis -- Verification -- Applications -- Reliability -- Compilers -- Distributed systems.
Summary: The 11th International Conference on Reliable Software Technologies, Ada- Europe 2006, took place in Porto, Portugal, June 5-9, 2006. It was as usual sponsored by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda. It was organized by members of the School of Engineering of the Polytechnic Institute of Porto, in collaboration with several colleagues from di?erent institutions in Europe. Following the usual style, the conference included a three-day technical p- gram, during which the papers contained in these proceedings were presented, bracketed by two tutorial days where attendants had the opportunity to catch up on a variety of topics related to the?eld, at both introductory and advanced levels. Continuing the success achieved in the previous year, the technical p- gramalso included an industrial track, with contributions illustrating challenges facedandsolutionsencounteredbyindustrialists frombothsides ofthe Atlantic. Furthermore, the conference was accompanied by an exhibition where vendors presented their products for supporting reliable-software development.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references and index.

Real-time systems -- Static analysis -- Verification -- Applications -- Reliability -- Compilers -- Distributed systems.

Print version record.

The 11th International Conference on Reliable Software Technologies, Ada- Europe 2006, took place in Porto, Portugal, June 5-9, 2006. It was as usual sponsored by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda. It was organized by members of the School of Engineering of the Polytechnic Institute of Porto, in collaboration with several colleagues from di?erent institutions in Europe. Following the usual style, the conference included a three-day technical p- gram, during which the papers contained in these proceedings were presented, bracketed by two tutorial days where attendants had the opportunity to catch up on a variety of topics related to the?eld, at both introductory and advanced levels. Continuing the success achieved in the previous year, the technical p- gramalso included an industrial track, with contributions illustrating challenges facedandsolutionsencounteredbyindustrialists frombothsides ofthe Atlantic. Furthermore, the conference was accompanied by an exhibition where vendors presented their products for supporting reliable-software development.

Powered by Koha