Sciweavers

1032 search results - page 119 / 207
» A Survey on Industrial Software Engineering
Sort
View
JSS
2008
91views more  JSS 2008»
15 years 6 months ago
Software architecture reliability analysis using failure scenarios
We propose an approach for analyzing software architectures with respect to reliability to improve fault tolerance. The approach defines a failure scenario model that is based on ...
Bedir Tekinerdogan, Hasan Sözer, Mehmet Aksit
SPIN
2007
Springer
16 years 15 days ago
Model Extraction for ARINC 653 Based Avionics Software
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
Pedro de la Cámara, María-del-Mar Ga...
SEW
2003
IEEE
15 years 11 months ago
Model-Based Software Testing via Incremental Treatment Learning
Model-based software has become quite popular in recent years, making its way into a broad range of areas, including the aerospace industry. The models provide an easy graphical i...
Dustin Geletko, Tim Menzies
ECBS
2002
IEEE
118views Hardware» more  ECBS 2002»
15 years 11 months ago
On the Relation between Design Contracts and Errors: A Software Development Strategy
When designing a software module or system, a systems engineer must consider and differentiate between how the system responds to external and internal errors. External errors can...
Eivind J. Nordby, Martin Blom, Anna Brunstrom
ECBS
2004
IEEE
129views Hardware» more  ECBS 2004»
15 years 10 months ago
Using Feature Modeling for Program Comprehension and Software Architecture Recovery
: The available evidence in a legacy software system, which can help in its understanding and recovery of its architecture are not always sufficient. Very often the system's d...
Ilian Pashov, Matthias Riebisch