2132 search results - page 185 / 427 » Automated software winnowing |
159
Voted
DGO
2004
15 years 8 months ago
2004
The NSF-fundedi research described in this paper focuses on the development of automated software tools for improving Web accessibility for older adults. The Web offers great prom...
170
Voted
ASWEC
2010
IEEE
15 years 7 months ago
2010
IEEE
— Service compositions provide a promising way to realize and coordinate automated support for business activities and processes. These business processes and their automated sup...
230
Voted
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
221
Voted
UML
2005
Springer
16 years 13 days ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
164
Voted
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Use case diagrams (UCDs) are widely used to describe requirements and desired functionality of software products. However, UCDs are loosely linked to source code, and maintaining ...