4438 search results - page 238 / 888 » The Case for Collaborative Programming |
157
click to vote
COMPSAC
2007
IEEE
16 years 29 days ago
2007
IEEE
Concept location is one of the fundamental activities during software maintenance which locates the parts of the source code where a specific concept is implemented. The methods f...
199
click to vote
TLCA
2007
Springer
16 years 22 days ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
164
click to vote
ACSC
2005
IEEE
16 years 7 days ago
2005
IEEE
Parallel pattern-matching (PPM) provides true commutative implementation of functions defined by cases in functional languages, because no argument is given precedence over any o...
168
click to vote
COMPSAC
2005
IEEE
16 years 7 days ago
2005
IEEE
Automatic test data generation leads to the identification of input values on which a selected path or a selected branch is executed within a program (path-oriented vs goalorient...
179
click to vote
ARCS
2005
Springer
16 years 5 days ago
2005
Springer
In Ubiquitous computing small embedded sensor and computing nodes are the main enabling technologies. System programming for such small embedded systems is a challenging task invol...