3425 search results - page 171 / 685 » A Model Driven Approach for Software Systems Reliability |
103
Voted
SOFTWARE
2010
15 years 2 months ago
2010
Architecture is typically either a very non-tangible, conceptual aspect of a software system that can primarily be found in Word documents, or it is entirely driven by technology ...
126
Voted
ICECCS
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper presents a novel application involving two important Software Engineering research areas: process modeling and software reuse. The Spiral Model is a risk-driven process...
134
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Regression testing, as it's commonly practiced, is unsound due to inconsistent test repair and test addition. This paper presents a new technique, differential testing, that ...
148
Voted
INFSOF
2000
15 years 3 months ago
2000
We construct models as an aid to our thought process. A particular class of models, operational models, can be used for simulation and prototyping. The Opj modeling language is su...
109
Voted
SIGOPSE
1990
ACM
15 years 7 months ago
1990
ACM
We propose group communication as an efficient mechanism to support fault tolerance. Our approach is based on an efficient reliable broadcast protocol that requires on average onl...