15794 search results - page 2746 / 3159 » Agent-Oriented Software Engineering |
193
Voted
TACAS
2005
Springer
16 years 8 days ago
2005
Springer
SAT-based Predicate Abstraction for ANSI-C Edmund Clarke1 Daniel Kroening2 Natasha Sharygina1,3 Karen Yorav4 1 Carnegie Mellon University, School of Computer Science 2 ETH Zuerich,...
202
click to vote
UML
2005
Springer
16 years 8 days ago
2005
Springer
UML statechart diagrams have become an important technique for describing the dynamic behavior of a software system. They are also a significant element of OO design, especially in...
181
click to vote
WILF
2005
Springer
16 years 8 days ago
2005
Springer
We have developed and continue to enhance automated intelligent software that performs the tasks and decision making which now occurs by the personnel manning watch stations in the...
172
click to vote
ISSTA
2004
ACM
16 years 7 days ago
2004
ACM
The ability to predict which files in a large software system are most likely to contain the largest numbers of faults in the next release can be a very valuable asset. To accomp...
155
Voted
ITICSE
2004
ACM
16 years 7 days ago
2004
ACM
Web technologies have become essential in the computing curricula. However, teaching a Web development course to computing students is challenging because of large bodies of knowl...