3792 search results - page 286 / 759 » Techniques for Trusted Software Engineering |
178
click to vote
AOSD
2009
ACM
16 years 1 months ago
2009
ACM
Despite the upsurge of interest in the Aspect-Oriented Programming (AOP) paradigm, there remain few results on test data generation techniques for AOP. Furthermore, there is no wo...
149
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
188
click to vote
KBSE
2007
IEEE
16 years 28 days ago
2007
IEEE
We present CodeGenie, a tool that implements a test-driven approach to search and reuse of code available on large-scale code repositories. While using CodeGenie developers design...
198
click to vote
MIDDLEWARE
2005
Springer
16 years 4 days ago
2005
Springer
Sensor-based services propose to gather, manage, analyze, access and react to sensor data. These services are distributed over heterogeneous platforms. The complexity of the imple...
178
click to vote
IIWAS
2008
15 years 8 months ago
2008
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...