3330 search results - page 106 / 666 » software 2010 |
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
This research demonstration presents the tool, Dynamic Interactive Views for Reverse Engineering (Diver). Diver supports software understanding through a trace focused user interf...
VMCAI
2010
Springer
14 years 6 months ago
2010
Springer
c Abstraction for Congruences A Story of Beauty and the Beast Andy King and Harald S?ndergaard Portcullis Computer Security University of Melbourne g and Harald S?ndergaard Automat...
FSTTCS
2010
Springer
13 years 7 months ago
2010
Springer
In this paper we study the problem of minimising deterministic automata over finite and infinite words. Deterministic finite automata are the simplest devices to recognise regular...
ISSE
2010
13 years 7 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
SAC
2010
ACM
14 years 2 months ago
2010
ACM
This paper describes the concept of software adaptation patterns and how they can be used in software adaptation of serviceoriented architectures. The patterns are described in te...