5668 search results - page 399 / 1134 » The case for software evolution |
177
click to vote
BDIM
2008
IEEE
16 years 1 months ago
2008
IEEE
—This paper defines an approach to maintain the work of business process analysts aligned with the work of UI designers. With this approach, models are derived from each other an...
184
click to vote
CIA
2007
Springer
16 years 1 months ago
2007
Springer
Recognizing that trust states are mental states, this paper presents a formal analysis of the dynamics of trust in terms of the functional roles and representation relations for tr...
155
click to vote
IH
2007
Springer
16 years 1 months ago
2007
Springer
We present a probabilistic program-transformation algorithm to render a given program tamper-resistant. In addition, we suggest a model to estimate the required effort for an atta...
203
click to vote
IEEECIT
2006
IEEE
16 years 28 days ago
2006
IEEE
This paper argues about the partitioning in hardware/software co-design and suggests the methodology applying extreme programming to complement the co-design. This approach, contr...
203
click to vote
ECBS
2005
IEEE
16 years 15 days ago
2005
IEEE
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...