Innovations in Systems and Software Engineering, Volume 1

Volume 1, Number 1, April 2005

• Shawn A. Bohner, Mike Hinchey:
  Introduction to Innovations in System and Software Engineering. 1-2
  
• Mikael Lindvall, Ioana Rus, Forrest Shull, Marvin V. Zelkowitz, Paolo Donzelli, Atif M. Memon, Victor R. Basili, Patricia Costa, Roseanne Tesoriero Tvedt, Lorin Hochstein, Sima Asgari, Christopher Ackermann, Daniel Pech:
  An evolutionary testbed for software technology evaluation. 3-11
  
• Antonio Cerone, George J. Milne:
  Property verification of asynchronous systems. 25-40
  
• Phan C. Vinh, Jonathan P. Bowen:
  Continuity aspects of embedded reconfigurable computing. 41-53
  
• Ali Mili, Frederick T. Sheldon, Fatma Mili, Jules Desharnais:
  Recoverability preservation: a measure of last resort. 54-62
  
• Jean Hartmann, Marlon Vieira, Herbert Foster, Axel Ruder:
  A UML-based approach to system testing. 12-24
  
• Norman F. Schneidewind:
  Predicting risk as a function of risk factors. 63-70
  
• Phillip A. Laplante, Colin J. Neill:
  Modeling uncertainty in software engineering using rough sets. 71-78
  
• Roy Sterritt:
  Autonomic computing. 79-88
  

Volume 1, Number 2, September 2005

• Walt Truszkowski, Christopher Rouff, Sidney C. Bailin, Mike Rilee:
  Progressive autonomy: a method for gradually introducing autonomy into space missions. 89-99
  
• Jonah Z. Lavi, Joseph Kudish:
  Systems modeling & requirements specification using ECSAM: an analysis method for embedded & computer-based systems. 100-115
  
• Suresh Yadla, Jane Huffman Hayes, Alex Dekhtyar:
  Tracing requirements to defect reports: an application of information retrieval techniques. 116-124
  
• Marcel Oliveira, Ana Cavalcanti, Jim Woodcock:
  Formal development of industrial-scale systems in Circus. 125-146
  
• Tiziana Margaria, Harald Raffelt, Bernhard Steffen:
  Knowledge-based relevance filtering for efficient system-level test-based model generation. 147-156
  
• Jonathan Sprinkle, Aaron D. Ames, J. Mikael Eklund, Ian M. Mitchell, Shankar Sastry:
  Online safety calculations for glide-slope recapture. 157-175
  
• Andrew J. Kornecki, Janusz Zalewski:
  Experimental evaluation of software development tools for safety-critical real-time systems. 176-188
  
• Moshood Omolade Saliu, Günther Ruhe:
  Software release planning for evolving systems. 189-204
  
• Rajesh Mathew, Mohamed F. Younis, Sameh M. Elsharkawy:
  Energy-efficient bootstrapping for wireless sensor networks. 205-220
  
• Denis Gracanin, Kresimir Matkovic, Mohamed Eltoweissy:
  Software visualization. 221-230