1164 search results - page 107 / 233 » Using CBR for Semantic Analysis of Software Specifications |
158
click to vote
FMCAD
2008
Springer
15 years 5 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...
125
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
In peer-to-peer networks, finding the appropriate answer for an information request, such as the answer to a query for RDF(S) data, depends on selecting the right peer in the netw...
142
click to vote
TOOLS
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
147
click to vote
IWPSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Modification analysis is part of most maintenance processes and includes among other activities, early prediction of potential change impacts, feasibility studies, cost estimation...
164
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
Focused Web browsing activities such as periodically looking up headline news, weather reports, etc., which require only selective fragments of particular Web pages, can be made m...