682 search results - page 131 / 137 » Java Implementation Verification Using Reverse Engineering |
ADAEUROPE
2000
Springer
13 years 12 months ago
2000
Springer
of the Reliant Telco Platform, K. Wiesneth Safety-oriented INTERBUS INTERBUS Safety-, K. Meyer-Graefe Developing a Binding Process for Automated Program Recognition and Fault Local...
CORR
1998
Springer
13 years 7 months ago
1998
Springer
Technology designers often strive to design systems that are flexible enough to be used in a wide range of situations. Software engineers, in particular, are trained to seek gener...
AOSD
2009
ACM
13 years 11 months ago
2009
ACM
Some security concerns are sensitive to flow of information in a program execution. The dataflow pointcut has been proposed by Masuhara and Kawauchi in order to easily implement s...
KBSE
2007
IEEE
14 years 1 months ago
2007
IEEE
Achieving high structural coverage such as branch coverage in objectoriented programs is an important and yet challenging goal due to two main challenges. First, some branches inv...
EMSOFT
2008
Springer
13 years 9 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...