15783 search results - page 3000 / 3157 » Evidence-Based Software Engineering |
114
click to vote
TOPLAS
2002
15 years 1 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
115
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
Due to the distributed nature of Service-Oriented Architectures (SOA), maintaining control in a SOA environment becomes more difficult as services spread over different lines-of-b...
131
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
Distributed applications involving mobile devices interconnected by wireless networks may benefit both from multiagent technology and context-aware programming techniques. This ar...
140
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
121
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
Model-based testing as a black-box testing technique has grown in importance. The models used represent the relevant features of the system under consideration (SUC), and can also...