nach oben

Innovations in Systems and Software Engineering

Inhalt (9 Artikel)

Editorial

Introduction to Innovations in System and Software Engineering

Shawn A. Bohner, Mike Hinchey

An evolutionary testbed for software technology evaluation

Mikael Lindvall, Ioana Rus, Forrest Shull, Marvin Zelkowitz, Paolo Donzelli, Atif Memon, Victor Basili, Patricia Costa, Roseanne Tvedt, Lorin Hochstein, Sima Asgari, Chris Ackermann, Dan Pech

Property verification of asynchronous systems

Antonio Cerone, George J. Milne

Continuity aspects of embedded reconfigurable computing

Phan C. Vinh, Jonathan P. Bowen

Recoverability preservation: a measure of last resort

Ali Mili, Frederick Sheldon, Fatma Mili, Jules Desharnais

A UML-based approach to system testing

Jean Hartmann, Marlon Vieira, Herbert Foster, Axel Ruder

Predicting risk as a function of risk factors

Norman F. Schneidewind

Modeling uncertainty in software engineering using rough sets

Phillip A. Laplante, Colin J. Neill

Autonomic computing

Roy Sterritt

Sep 05

Ausgabe: 2/2005

Aktuelle Ausgaben

Innovations in Systems and Software Engineering 1/2024
Special Issue:14th and 15th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2020/21)
Innovations in Systems and Software Engineering 4/2023
Special Issue: Selected extended papers of NFM 2021
Innovations in Systems and Software Engineering 3/2023
Innovations in Systems and Software Engineering 2/2023
Innovations in Systems and Software Engineering 1/2023
Special Issue: Intelligence for systems and software engineering
Innovations in Systems and Software Engineering 4/2022
Modeling, verification and Testing of dependable Critical systems (DETECT)
Innovations in Systems and Software Engineering 3/2022
Special Issue: 19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021)
Innovations in Systems and Software Engineering 2/2022
Special Issue: Applications of Computational Intelligence Techniques to Software Engineering Problems (ACITSEP)
Innovations in Systems and Software Engineering 1/2022
Special issue: Software and Systems Reuse
Innovations in Systems and Software Engineering 4/2021

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr

Springer Professional

Innovations in Systems and Software Engineering

Ausgabe 1/2005

Inhalt (9 Artikel)

Introduction to Innovations in System and Software Engineering

An evolutionary testbed for software technology evaluation

Property verification of asynchronous systems

Continuity aspects of embedded reconfigurable computing

Recoverability preservation: a measure of last resort

A UML-based approach to system testing

Predicting risk as a function of risk factors

Modeling uncertainty in software engineering using rough sets

Autonomic computing

Aktuelle Ausgaben

Special Issue:14th and 15th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2020/21)

Special Issue: Selected extended papers of NFM 2021

Innovations in Systems and Software Engineering 3/2023

Innovations in Systems and Software Engineering 2/2023

Special Issue: Intelligence for systems and software engineering

Modeling, verification and Testing of dependable Critical systems (DETECT)

Special Issue: 19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021)

Special Issue: Applications of Computational Intelligence Techniques to Software Engineering Problems (ACITSEP)

Special issue: Software and Systems Reuse

Innovations in Systems and Software Engineering 4/2021

Premium Partner