6149 search results - page 258 / 1230 » Revealing the programming process |
133
click to vote
ISPW
2005
IEEE
15 years 10 months ago
2005
IEEE
A process defines the way activities are organized, managed, measured, supported and improved to reach a goal. It has been shown, 15 years ago [1] that processes are software too; ...
148
click to vote
TSE
2010
15 years 3 months ago
2010
—Process modeling allows for analysis and improvement of processes that coordinate multiple people and tools working together to carry out a task. Process modeling typically focu...
149
click to vote
JLP
2007
15 years 5 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
179
click to vote
PVLDB
2010
15 years 3 months ago
2010
Analysts have marked Event Processing as the most growing segment in enterprise computing during years 2008 and 2009, furthermore, this trend is expected to continue. Many of the ...
153
Voted
ASAP
2003
IEEE
15 years 10 months ago
2003
IEEE
At the Leiden Embedded Research Center, we are developing a compiler called Compaan that automatically translates signal processing applications written in Matlab into Kahn Proces...