217 | -- | 227 | Fernando Valles-Barajas. A requirements engineering process for control engineering software |
229 | -- | 235 | Norita Ahmad, Phillip A. Laplante. Reasoning about software using metrics and expert opinion |
237 | -- | 257 | Shawn A. Bohner, Ramya Ravichandar, James D. Arthur. Model-based engineering for change-tolerant systems |
259 | -- | 267 | Fei Xue, Lu Yan. Formal approach to fault diagnosis in distributed discrete event systems with OBDD |
269 | -- | 279 | Roman Gumzej, Wolfgang A. Halang. QoS-oriented design of embedded systems with specification PEARL |
281 | -- | 289 | Sven Apel, Christian Kästner, Martin Kuhlemann, Thomas Leich. Pointcuts, advice, refinements, and collaborations: similarities, differences, and synergies |
291 | -- | 302 | Abílio Fernandes, Angelo E. M. Ciarlini, Antonio L. Furtado, Michael G. Hinchey, Marco A. Casanova, Karin Koogan Breitman. Adding flexibility to workflows through incremental planning |
303 | -- | 318 | Dawn Lawrie, Christopher Morrell, Henry Feild, David W. Binkley. Effective identifier names for comprehension and memory |
319 | -- | 332 | Norman F. Schneidewind. Finding the optimal parameters for a software reliability model |
333 | -- | 344 | Kevin Adams, Denis Gracanin. Using adaptive scheduling for increased resiliency in passive asynchronous replication |