3799 search results - page 444 / 760 » An Engineering Approach to Formal Methods |
172
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
Design patterns are widely recognized as important software development methods. Their use as software understanding tools, though generally acknowledged has been scarcely explore...
158
click to vote
GEOS
2009
Springer
15 years 11 months ago
2009
Springer
What is the intended interpretation of a geospatial database in terms of reproducible experiences? How should places on a digital globe be interpreted on the earth surface? And how...
182
click to vote
WCRE
1999
IEEE
15 years 11 months ago
1999
IEEE
Code duplication, plausibly caused by copying source code and slightly modifying it, is often observed in large systems. Clone detection and documentation have been investigated b...
214
click to vote
FOSSACS
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...
193
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
Termination is one of the most interesting problems when dealing with context-sensitive rewrite systems. Although there is a good number of techniques for proving termination of co...