Ausgabe 3-4/2006
Inhalt (6 Artikel)
Original Paper
Component behavior-based adaptation in embedded software
Antonio Mendes da Silva Filho, Ivanilton Polato
ORIGINAL PAPER
Allocation and analysis of reliability: multiple levels: system, subsystem, and module
Norman Schneidewind
ORIGINAL PAPER
Testing software without requirements: using development artifacts to develop test cases
Albert Elcock, Phillip A. Laplante
ORIGINAL PAPER
Symbolic approximation: an approach to verification in the large
Peter T. Breuer, Simon Pickin
Original Paper
Formalization and assessment of regulatory requirements for safety-critical software
Sergiy A. Vilkomir, Jonathan P. Bowen, Aditya K. Ghose