3801 search results - page 245 / 761 » An Approach to Modeling Software Safety |
164
click to vote
METRICS
2005
IEEE
16 years 3 days ago
2005
IEEE
Software architecture is an important form of abstraction, representing the overall system structure and the relationship among components. When software is modified from one ver...
183
click to vote
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, based on software reliability growth models with generalized logistic testing-effort function, we study three optimal resource allocation problems in modular softwa...
218
click to vote
SCOPES
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...
148
click to vote
CEC
2007
IEEE
16 years 27 days ago
2007
IEEE
— One of the main tasks software testing involves is the generation of the test cases to be used during the test. Due to its expensive cost, the automation of this task has becom...
164
click to vote
FASE
2004
Springer
15 years 12 months ago
2004
Springer
The topic of software architecture (SA) based testing has recently raised some interest. Recent work on the topic has used the SA as a reference model for code conformance testing,...