1782 search results - page 81 / 357 » Tool Support for Proof Engineering |
163
click to vote
ESEM
2007
ACM
15 years 9 months ago
2007
ACM
The number of scientific publications is constantly increasing, and the results published on Empirical Software Engineering are growing even faster. Some software engineering publ...
165
Voted
CSEE
2006
Springer
15 years 9 months ago
2006
Springer
This paper shows how Theory-W and the WinWin requirements negotiation approach are used in software engineering education at several universities in the US, Europe, and Asia. We b...
139
click to vote
EPEW
2008
Springer
15 years 7 months ago
2008
Springer
Embedded systems operating on high data workloads are becoming pervasive. ECA rule engines provide a flexible environment to support the management, reconfiguration and execution o...
162
click to vote
TCGOV
2005
Springer
15 years 11 months ago
2005
Springer
As software processes for developing eGovernment services become more complex, it is necessary to provide computer-based tools to support the software engineering process. Furtherm...
160
click to vote
MSV
2004
15 years 7 months ago
2004
Business visualization is an effective tool for business decision making and problem solving. Despite its obvious benefits, 3D visualization is far less common in practice than it...