277 search results - page 18 / 56 » Program Spectra Analysis in Embedded Software: A Case Study |
JMLC
2000
Springer
13 years 11 months ago
2000
Springer
The principle of modularisation is one of the main techniques that software designers use to tame the complexity of programming. A software project, however, is complex in many oth...
IWPC
2006
IEEE
14 years 2 months ago
2006
IEEE
During initial program comprehension, software engineers could benefit from knowing the most need-to-beunderstood classes in the system under study in order to kick-start their s...
CODES
2011
IEEE
12 years 7 months ago
2011
IEEE
Reliability is a major requirement for most safety-related systems. To meet this requirement, fault-tolerant techniques such as hardware replication and software re-execution are ...
AMAST
2004
Springer
14 years 1 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
ICSM
1994
IEEE
14 years 2 days ago
1994
IEEE
In order to improve software maintenance processes, we need to be able to first characterize and assess them. This task needs to be performed in depth and with objectivity since t...