15860 search results - page 2713 / 3172 » Agent-Based Software Engineering |
134
click to vote
SOCO
2005
Springer
15 years 10 months ago
2005
Springer
Aspects that trigger on a sequence of join points instead of on a single join point are not explicitly supported in current AspectOriented approaches. Explicit protocols are howeve...
146
click to vote
TACAS
2005
Springer
15 years 10 months 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,...
157
Voted
UML
2005
Springer
15 years 10 months 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...
146
click to vote
WILF
2005
Springer
15 years 10 months 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...
136
Voted
ISSTA
2004
ACM
15 years 10 months 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...