


default search action
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 Cong 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 A. 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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














