3792 search results - page 113 / 759 » Techniques for Trusted Software Engineering |
99
Voted
WCRE
2006
IEEE
15 years 9 months ago
2006
IEEE
In the last years, as object-oriented software systems became more and more complex, the need of having tools that help us to understand and to assess the quality of their design ...
148
Voted
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
The design and development of complex software systems is a difï¬cult task, and it is not easy to ensure the quality of a developed software. The paper presents an architectural ...
133
click to vote
EUROSYS
2010
ACM
16 years 21 days ago
2010
ACM
This paper presents a technique that helps automate the reverse engineering of device drivers. It takes a closed-source binary driver, automatically reverse engineers the driverâ€...
108
Voted
VMCAI
2010
Springer
16 years 27 days ago
2010
Springer
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...
131
click to vote
REFSQ
2010
Springer
15 years 7 months ago
2010
Springer
Product managers in software companies are confronted with a continuous stream of incoming requirements. Due to limited resources they have to make a selection of those that can be...