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
  Electronic Edition (link) BibTeX
• 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
  Electronic Edition (link) BibTeX
• Antonio Cerone, George J. Milne:
  Property verification of asynchronous systems. 25-40
  Electronic Edition (link) BibTeX
• Phan C. Vinh, Jonathan P. Bowen:
  Continuity aspects of embedded reconfigurable computing. 41-53
  Electronic Edition (link) BibTeX
• Ali Mili, Frederick T. Sheldon, Fatma Mili, Jules Desharnais:
  Recoverability preservation: a measure of last resort. 54-62
  Electronic Edition (link) BibTeX
• Jean Hartmann, Marlon Vieira, Herbert Foster, Axel Ruder:
  A UML-based approach to system testing. 12-24
  Electronic Edition (link) BibTeX
• Norman F. Schneidewind:
  Predicting risk as a function of risk factors. 63-70
  Electronic Edition (link) BibTeX
• Phillip A. Laplante, Colin J. Neill:
  Modeling uncertainty in software engineering using rough sets. 71-78
  Electronic Edition (link) BibTeX
• Roy Sterritt:
  Autonomic computing. 79-88
  Electronic Edition (link) BibTeX

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