1. Component behavior-based adaptation in embedded software

   • Antonio Mendes da Silva Filho
   • Ivanilton Polato

   Original Paper 22 September 2006 Pages: 113 - 119

2. Allocation and analysis of reliability: multiple levels: system, subsystem, and module

   • Norman Schneidewind

   ORIGINAL PAPER 12 October 2006 Pages: 121 - 136

3. Testing software without requirements: using development artifacts to develop test cases

   • Albert Elcock
   • Phillip A. Laplante

   ORIGINAL PAPER 11 October 2006 Pages: 137 - 145

4. Symbolic approximation: an approach to verification in the large

   • Peter T. Breuer
   • Simon Pickin

   ORIGINAL PAPER 28 October 2006 Pages: 147 - 163

5. Formalization and assessment of regulatory requirements for safety-critical software

   • Sergiy A. Vilkomir
   • Jonathan P. Bowen
   • Aditya K. Ghose

   Original Paper 12 September 2006 Pages: 165 - 178

6. Software reliability engineering process

   • Norman Schneidewind

   STATE OF THE ART 22 September 2006 Pages: 179 - 190