1. Progressive autonomy: a method for gradually introducing autonomy into space missions

   • Walt Truszkowski
   • Christopher Rouff
   • Mike Riley

   OriginalPaper 29 July 2005 Pages: 89 - 99

2. Systems modeling & requirements specification using ECSAM: an analysis method for embedded & computer-based systems

   • Jonah Z. Lavi
   • Joseph Kudish

   OriginalPaper 29 July 2005 Pages: 100 - 115

3. Tracing requirements to defect reports: an application of information retrieval techniques

   • Suresh Yadla
   • Jane Huffman Hayes
   • Alex Dekhtyar

   OriginalPaper 29 July 2005 Pages: 116 - 124

4. Formal development of industrial-scale systems in Circus

   • Marcel Oliveira
   • Ana Cavalcanti
   • Jim Woodcock

   OriginalPaper 29 July 2005 Pages: 125 - 146

5. Knowledge-based relevance filtering for efficient system-level test-based model generation

   • Tiziana Margaria
   • Harald Raffelt
   • Bernhard Steffen

   OriginalPaper 29 July 2005 Pages: 147 - 156

6. Online safety calculations for glide-slope recapture

   • Jonathan Sprinkle
   • Aaron D. Ames
   • S. Shankar Sastry

   OriginalPaper 29 July 2005 Pages: 157 - 175

7. Experimental evaluation of software development tools for safety-critical real-time systems

   • Andrew J. Kornecki
   • Janusz Zalewski

   OriginalPaper 29 July 2005 Pages: 176 - 188

8. Software release planning for evolving systems

   • Omolade Saliu
   • Guenther Ruhe

   OriginalPaper 29 July 2005 Pages: 189 - 204

9. Energy-efficient bootstrapping for wireless sensor networks

   • Rajesh Mathew
   • Mohamed Younis
   • Sameh M. Elsharkawy

   OriginalPaper 29 July 2005 Pages: 205 - 220

10. Software visualization

    • Denis Gračanin
    • Krešimir Matković
    • Mohamed Eltoweissy

    STATE OF THE ART 29 July 2005 Pages: 221 - 230