1631 search results - page 170 / 327 » Extreme Programming - Back to Basics |
127
Voted
APLAS
2007
ACM
15 years 6 months ago
2007
ACM
Abstract. We propose a theory of up-to techniques for proofs by coinduction, in the setting of complete lattices. This theory improves over existing results by providing a way to c...
120
click to vote
ECOOP
2006
Springer
15 years 6 months ago
2006
Springer
The integration of aspects into the methodology of stepwise software development and evolution is still an open issue. This paper focuses on the global quantification mechanism of...
IFIP
2000
Springer
15 years 6 months ago
2000
Springer
We consider two software packages that interact with each other as components: Overture and PETSc. An interface between these two packages could be of tremendous value to applicati...
141
Voted
CAISE
1995
Springer
15 years 6 months ago
1995
Springer
In this work we discuss a number of issues for the design of hypertext systems in an actor-based model of computation. We examine how the "traditional" basic concepts whi...
121
click to vote
AIPS
2008
15 years 4 months ago
2008
In the last decades, there has been an increasing interest in the connection between planning and constraint programming. Several approaches were used, leading to different forms ...