5439 search results - page 353 / 1088 » Patterns: from system design to software testing |
161
click to vote
HICSS
2006
IEEE
16 years 27 days ago
2006
IEEE
An online software agent that helps smokers quit was designed and tested. We created a library of categorized smoking cessation messages using meta-data corresponding to the Stage...
154
click to vote
ISSRE
2000
IEEE
15 years 11 months ago
2000
IEEE
Learning from software failures is an essential step towards the development of more reliable software systems and processes. However, as more intricate software systems are devel...
163
click to vote
ISPAN
1996
IEEE
15 years 11 months ago
1996
IEEE
In this paper, we have presented the design and evaluation of a compiler system, called APE,for automatic parallelization of scientific and engineering applications on distributed...
169
click to vote
FM
2005
Springer
16 years 11 days ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
162
click to vote
ISSTA
2000
ACM
15 years 11 months ago
2000
ACM
—Before designing safety- or mission-critical real-time systems, a specification of the required behavior of the system should be produced and reviewed by domain experts. After ...