46 search results - page 4 / 10 » Supporting Proof in a Reactive Development Environment |
OOPSLA
2005
Springer
15 years 3 months ago
2005
Springer
Can virtual machine developers benefit from religiously observing the principles more often embraced for exploratory programming? To find out, we are concurrently constructing two...
ECLIPSE
2005
ACM
14 years 11 months ago
2005
ACM
While Eclipse has greatly simplified the task of creating integrated development environments, creating a full-featured IDE can still take years. Fortunately, for a large categor...
ENTCS
2007
14 years 9 months ago
2007
The engineering of systems that are acceptably correct is a hard problem. On the one hand, semi-formal modelling approaches that are used in practical, large-scale system developm...
DEXAW
2004
IEEE
15 years 1 months ago
2004
IEEE
The overall goal of this research is to improve the `environment awareness' aspect of personal autonomic computing. Personal Computing offers unique challenges for self-manag...
SCP
2008
14 years 9 months ago
2008
Today's complex applications must face the distribution of data and code among different network nodes. Computation in distributed contexts is demanding increasingly powerful...