976 search results - page 49 / 196 » Approach to a Theory of Software Evolution |
EUROMICRO
1996
IEEE
15 years 1 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
ENTCS
2010
14 years 9 months ago
2010
Program debugging is an extremely time-consuming process, and it takes up a large portion of software development time. In practice, debugging is still very much of an art, with t...
CVPR
2005
IEEE
15 years 11 months ago
2005
IEEE
The problem of feature-based surface reconstruction is considered in this paper. Our main contribution is the ability to handle visibility constraints, obtained from the projectio...
IWSAPF
2000
15 years 1 months ago
2000
Product families promote reuse of software artifacts such as architectures, designs and implementations. Product family architectures are difficult to create due to the need to sup...
CIA
2007
Springer
15 years 3 months ago
2007
Springer
We introduce the Consensual N-Player Prisoner’s Dilemma as a large-scale dilemma. We then present a framework for cooperative consensus formation in large-scale MAS under the N-P...