Sciweavers

6149 search results - page 82 / 1230
» Revealing the programming process
Sort
View
105
Voted
IFL
2007
Springer
133views Formal Methods» more  IFL 2007»
15 years 8 months ago
Debugging Lazy Functional Programs by Asking the Oracle
Bernd Braßel, Holger Siegel
74
Voted
DAGM
2004
Springer
15 years 8 months ago
Hierarchical Image Segmentation Based on Semidefinite Programming
Jens Keuchel, Matthias Heiler, Christoph Schnö...
131
Voted
ICSM
1994
IEEE
15 years 6 months ago
A Change Analysis Process to Characterize Software Maintenance Projects
In order to improve software maintenance processes, we need to be able to first characterize and assess them. This task needs to be performed in depth and with objectivity since t...
Lionel C. Briand, Victor R. Basili, Yong-Mi Kim, D...
144
Voted
CSMR
2007
IEEE
15 years 9 months ago
Online Construction of Dynamic Object Process Graphs
A dynamic object process graph is a view on the control flow graph from the perspective of a single object. It has been shown that such a graph can be a useful starting point for...
Jochen Quante
122
Voted
ESOP
2004
Springer
15 years 8 months ago
Linear Types for Packet Processing
Abstract. We present PacLang: an imperative, concurrent, linearlytyped language designed for expressing packet processing applications. PacLang’s linear type system ensures that ...
Robert Ennals, Richard Sharp, Alan Mycroft