15777 search results - page 2669 / 3156 » Software Engineering |
195
Voted
TACAS
2005
Springer
16 years 11 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,...
206
click to vote
UML
2005
Springer
16 years 11 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...
175
click to vote
ISSTA
2004
ACM
16 years 10 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...
163
click to vote
SIGCSE
2004
ACM
16 years 10 days ago
2004
ACM
The event driven paradigm is ubiquitous in modern software. Many texts introduce events when discussing graphical user interfaces, but the event paradigm extends well beyond that ...
173
Voted
SIGDOC
2004
ACM
16 years 10 days ago
2004
ACM
Software publishers and information service providers publish information about their own products and about other products and people. Additional content might be incidental, suc...