612 search results - page 27 / 123 » Division for Foundation of Software |
154
click to vote
AOSD
2008
ACM
15 years 3 months ago
2008
ACM
Aspect-oriented software presents new challenges for the designers of static analyses. Our work aims to establish systematic foundations for dataflow analysis of AspectJ software....
107
click to vote
SLE
2009
Springer
15 years 8 months ago
2009
Springer
Model Driven Engineering (MDE) is a promising paradigm for development. It raises the level of abstraction in software development by treating models as primary artifacts. The prac...
ISORC
2008
IEEE
15 years 8 months ago
2008
IEEE
Several approaches for scalable interest management (IM) within real-time distributed virtual environments (DVEs) have been proposed based upon some division of the data-space in ...
111
click to vote
AAAI
2008
15 years 4 months ago
2008
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
108
click to vote
FORTEST
2008
15 years 3 months ago
2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...