1342 search results - page 40 / 269 » Ordered Programs as Abductive Systems |
ASWEC
2008
IEEE
13 years 9 months ago
2008
IEEE
Today, agile methods become a popular approach to develop software systems. They try to satisfy customer, respond to changes, release in less time and achieve suitable profits for...
TON
2012
11 years 10 months ago
2012
—Regular expressions (RegExes) are widely used, yet their inherent complexity often limits the total number of RegExes that can be detected using a single chip for a reasonable t...
CCS
2010
ACM
13 years 5 months ago
2010
ACM
Given a single program (i.e., bit string), one may assume that the program's behaviors can be determined by first identifying the native runtime architecture and then executi...
ICCD
2005
IEEE
14 years 1 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
IWPC
2006
IEEE
14 years 1 months ago
2006
IEEE
During initial program comprehension, software engineers could benefit from knowing the most need-to-beunderstood classes in the system under study in order to kick-start their s...