220 search results - page 15 / 44 » A Language Independent Approach for Detecting Duplicated Cod... |
113
Voted
SOSP
2007
ACM
15 years 9 months ago
2007
ACM
Commenting source code has long been a common practice in software development. Compared to source code, comments are more direct, descriptive and easy-to-understand. Comments and...
134
click to vote
DAGSTUHL
2006
15 years 1 months ago
2006
In order to tackle the entire web service life cycle, it is necessary to face how to model systems based on service functionality and also how to add extra-functional properties to...
136
click to vote
SPIN
2004
Springer
15 years 5 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
121
Voted
ISSTA
2012
ACM
13 years 2 months ago
2012
ACM
Recent research has suggested that a large class of software bugs fall into the category of inconsistencies, or cases where two pieces of program code make incompatible assumption...
92
Voted
FCT
2007
Springer
15 years 6 months ago
2007
Springer
In most mainstream object-oriented languages, the object initialization protocol is based on constructors, where different constructors of the same class are, in fact, overloaded ...