4880 search results - page 186 / 976 » Manuals as Structured Programs |
135
Voted
KBSE
1994
IEEE
15 years 7 months ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
129
click to vote
EUROPAR
2010
Springer
15 years 4 months ago
2010
Springer
Manual parallelization of programs is known to be difficult and error-prone, and there are currently few ways to measure the amount of potential parallelism in the original sequent...
118
click to vote
ICDM
2006
IEEE
15 years 9 months ago
2006
IEEE
Manual debugging is expensive. And the high cost has motivated extensive research on automated fault localization in both software engineering and data mining communities. Fault l...
101
click to vote
SMALLTALK
2007
Springer
15 years 9 months ago
2007
Springer
While many software systems today have to be aware of the context in which they are executing, there is still little support for structuring a program with respect to context. A ï¬...
160
click to vote
VL
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper outlines DIAPLAN, a visual rule-based programming language and environment that is based on the computational model of graph transformation. Thanks to its genericity, D...