1. A requirements engineering process for control engineering software

   • Fernando Valles-Barajas

   Original Paper 23 October 2007 Pages: 217 - 227

2. Reasoning about software using metrics and expert opinion

   • Norita Ahmad
   • Phillip A. Laplante

   Original Paper 25 October 2007 Pages: 229 - 235

3. Model-based engineering for change-tolerant systems

   • Shawn Bohner
   • Ramya Ravichandar
   • James Arthur

   Original Paper 14 November 2007 Pages: 237 - 257

4. Formal approach to fault diagnosis in distributed discrete event systems with OBDD

   • Fei Xue
   • Lu Yan

   Original Paper 18 September 2007 Pages: 259 - 267

5. QoS-oriented design of embedded systems with specification PEARL

   • Roman Gumzej
   • Wolfgang A. Halang

   Original Paper 18 September 2007 Pages: 269 - 279

6. Pointcuts, advice, refinements, and collaborations: similarities, differences, and synergies

   • Sven Apel
   • Christian Kästner
   • Thomas Leich

   Original Paper 29 August 2007 Pages: 281 - 289

7. Adding flexibility to workflows through incremental planning

   • Abilio Fernandes
   • Angelo E. M. Ciarlini
   • Karin K. Breitman

   Original Paper 20 November 2007 Pages: 291 - 302

8. Effective identifier names for comprehension and memory

   • Dawn Lawrie
   • Christopher Morrell
   • David Binkley

   Original Paper 06 October 2007 Pages: 303 - 318

9. Finding the optimal parameters for a software reliability model

   • Norman F. Schneidewind

   Original Paper 29 September 2007 Pages: 319 - 332

10. Using adaptive scheduling for increased resiliency in passive asynchronous replication

    • Kevin Adams
    • Denis Gračanin

    Original Paper 10 November 2007 Pages: 333 - 344