3667 search results - page 295 / 734 » Software Rejuvenation - Modeling and Analysis |
204
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
166
click to vote
SE
2008
15 years 8 months ago
2008
Existing software systems contain a significant amount of duplicated code. Such redundancy can negatively impact program correctness, since inconsistent updates to duplicated code ...
204
click to vote
JIB
2010
15 years 5 months ago
2010
s text mining techniques over Medline abstracts as a method for accessing both these bodies of evidence in a consistent way. In an example use case, we apply our method to create a...
155
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
As the explosive growth of the ISM band usage continues, there are many scenarios where different systems operate in the same place at the same time. One of growing concerns is th...
147
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
The Object Relation Diagram (ORD) of a program is a class interdependence diagram which has applications in a wide variety of software engineering problems (e.g., integration test...