Book Details

Reliable Software Technologies -- Ada-Europe 2006

Publication year: 2006

: 978-3-540-34664-7

:


This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- Europe 2006, took place in Porto, Portugal,2006. 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.


: Computer Science, Ada programming, Ada programming language, C++ programming language, Java, Linux, UML, Unified Modeling Language (UML), XML, dependable computing, distributed systems, embedded systems, formal methods, middleware, real-time system, verification