976 search results - page 33 / 196 » Approach to a Theory of Software Evolution |
151
click to vote
CCS
2008
ACM
15 years 7 months ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...
128
Voted
SEFM
2003
IEEE
15 years 10 months ago
2003
IEEE
We propose a formal model of trust informed by the Global Computing scenario and focusing on the aspects of trust formation, evolution, and propagation. The model is based on a no...
142
Voted
GECCO
2010
Springer
15 years 9 months ago
2010
Springer
In this paper we present the application of an evolution strategy to the problem of detecting multi-planet transit events in photometric time-data series. Planetary transits occur...
125
Voted
IWPC
2005
IEEE
15 years 10 months ago
2005
IEEE
Software evolution analysis is concerned with analysis of artifacts produced during a software systems life-cycle. Execution traces produced from instrumented code reflect a syst...
148
click to vote
KBSE
1994
IEEE
15 years 9 months ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...