4438 search results - page 232 / 888 » The Case for Collaborative Programming |
155
click to vote
MFCS
2007
Springer
16 years 22 days ago
2007
Springer
In computability theory, program self-reference is formalized by the not-necessarily-constructive form of Kleene’s Recursion Theorem (krt). In a programming system in which krt h...
183
click to vote
WCRE
2006
IEEE
16 years 18 days ago
2006
IEEE
Software maintenance and evolution can be made easier if program comprehension techniques are used. Understanding a software system would typically necessitate a combination of st...
173
click to vote
PPPJ
2006
ACM
16 years 17 days ago
2006
ACM
Concept assignment identifies units of source code that are functionally related, even if this is not apparent from a syntactic point of view. Until now, the results of concept a...
206
click to vote
ASP
2005
Springer
16 years 4 days ago
2005
Springer
Answer Set Programming (ASP) and propositional satisfiability (SAT) are closely related. In some recent work we have shown that, on a wide set of logic programs called “tight”...
201
click to vote
SEKE
2005
Springer
16 years 2 days ago
2005
Springer
This paper presents a state-based approach to testing aspect-oriented programs. Aspectual state models, as an extension to the testable FREE state model of classes, are exploited ...