4196 search results - page 215 / 840 » Supporting the development of network programs |
122
Voted
IWPC
2008
IEEE
15 years 10 months ago
2008
IEEE
Software maintenance tasks typically involve an important amount of program investigation effort on the part of software developers. To what extent can we benefit from prior prog...
178
click to vote
CEFP
2007
Springer
15 years 10 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
163
click to vote
WCFLP
2005
ACM
15 years 9 months ago
2005
ACM
Debugging is one of the essential parts of the software development cycle. However, the usual debugging techniques used in imperative languages such as the step by step execution ...
130
click to vote
CASES
2001
ACM
15 years 7 months ago
2001
ACM
Current development tools for embedded real-time systems do not efficiently support the timing aspect. The most important timing parameter for scheduling and system analysis is th...
132
click to vote
ECOOP
2009
Springer
15 years 10 months ago
2009
Springer
Modern development environments support refactoring by providing atomically behaviour-preserving transformations. While useful, these transformations are limited in three ways: (i)...