6348 search results - page 874 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
159
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
178
click to vote
QSIC
2007
IEEE
16 years 1 months ago
2007
IEEE
Web application testers need automated, effective approaches to validate the test results of complex, evolving web applications. In previous work, we developed a suite of automate...
169
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...
158
click to vote
WCRE
2007
IEEE
16 years 1 months ago
2007
IEEE
The software industry is increasingly confronted with the issues of understanding and maintaining a special type of object-oriented systems, namely enterprise applications. A spec...
157
click to vote
PEPM
2007
ACM
16 years 26 days ago
2007
ACM
A logic program strongly quasi-terminates when only a finite number of distinct atoms (modulo variable renaming) are derivable from any given query and computation rule. This noti...