1308 search results - page 152 / 262 » Application of Hazard Analysis to Software Quality Modelling |
131
click to vote
HASE
2008
IEEE
15 years 10 months ago
2008
IEEE
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...
178
click to vote
SIGCSE
2002
ACM
15 years 3 months ago
2002
ACM
Empirical evidence shows the ability for computer technology to deliver on its promises of enhancing our quality of life relies on how well the application fits our understanding ...
138
click to vote
EUROMICRO
2005
IEEE
15 years 9 months ago
2005
IEEE
State-of-the-art middleware and component technologies lack support for Quality of Service (QoS) management. Application developers, therefore, integrate QoS mechanisms into the a...
152
click to vote
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
Modularity is a central theme in any scalable program analysis. The core idea in a modular analysis is to build summaries at procedure boundaries, and use the summary of a procedu...
117
click to vote
IFM
2009
Springer
15 years 10 months ago
2009
Springer
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to e...