6167 search results - page 1187 / 1234 » Can Refinement be Automated |
KBSE
2005
IEEE
14 years 3 months ago
2005
IEEE
The term grammar-based software describes software whose input can be specified by a context-free grammar. This grammar may occur explicitly in the software, in the form of an in...
KBSE
2005
IEEE
14 years 3 months ago
2005
IEEE
Software debugging is the process of locating and correcting faulty code. Prior techniques to locate faulty code either use program analysis techniques such as backward dynamic pr...
MOBICOM
2005
ACM
14 years 3 months ago
2005
ACM
Over the past few years, wireless networking technologies have made vast forays into our daily lives. Today, one can find 802.11 hardware and other personal wireless technology e...
SIGUCCS
2005
ACM
14 years 3 months ago
2005
ACM
Starting in 2003, Drew University began a process to replace its manual account management procedures with an automated provisioning system based upon Novell technologies. Over th...
AADEBUG
2005
Springer
14 years 3 months ago
2005
Springer
Dynamic slicing algorithms have been considered to aid in debugging for many years. However, as far as we know, no detailed studies on evaluating the benefits of using dynamic sl...