1121 search results - page 137 / 225 » Building Formal Requirements Models for Reliable Software |
163
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Although a number of automatic tools have been developed to detect faults, much of the diagnosis is still being done manually. To help with the diagnostic tasks, we formally intro...
119
click to vote
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurat...
149
click to vote
CACM
2010
15 years 4 months ago
2010
Exploiting the multiprocessors that have recently become ubiquitous requires high-performance and reliable concurrent systems code, for concurrent data structures, operating syste...
136
click to vote
IPSN
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents an approach for dynamic software reconfiguration in sensor networks. Our approach utilizes explicit models of the design space of the embedded application. The...
140
click to vote
ICSM
2006
IEEE
15 years 10 months ago
2006
IEEE
The MDA approach aims to ease software maintenance faced with platform and business evolution. In this approach, main development artifacts, i.e. models, are defined with the Meta...