Sciweavers

2255 search results - page 1 / 451
» High Assurance Software Systems
Sort
View
87
Voted
RE
2002
Springer
15 years 1 months ago
Managing (Requirements) Evolutions of High Assurance Systems
Michel Lemoine, Jack Foisseau
89
Voted
HASE
2007
IEEE
15 years 8 months ago
High-Assurance Distributed, Adaptive Software for Dynamic Systems
Kurt Rohloff, Joseph P. Loyall, Partha Pratim Pal,...
CJ
2006
52views more  CJ 2006»
15 years 2 months ago
High Assurance Software Systems
Ing-Ray Chen, Bojan Cukic
146
Voted
ECBS
1999
IEEE
138views Hardware» more  ECBS 1999»
15 years 6 months ago
Multi-Domain Surety Modeling and Analysis for High Assurance Systems
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...
James Davis, Jason Scott, Janos Sztipanovits, Marc...
122
Voted
ICSE
2005
IEEE-ACM
16 years 2 months ago
Main effects screening: a distributed continuous quality assurance process for monitoring performance degradation in evolving so
Developers of highly configurable performanceintensive software systems often use a type of in-house performance-oriented "regression testing" to ensure that their modif...
Cemal Yilmaz, Arvind S. Krishna, Atif M. Memon, Ad...