1199 search results - page 105 / 240 » Software Verification and Software Engineering a Practitione... |
129
Voted
FASE
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
155
click to vote
CAISE
2010
Springer
15 years 5 months ago
2010
Springer
Despite advances in situational method engineering, many software organizations continue to adopt an ad-hoc mix of method fragments from wellknown development methods such as Scrum...
248
Voted
POPL
2007
ACM
16 years 4 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
121
click to vote
UIST
2004
ACM
15 years 10 months ago
2004
ACM
We present a new screen space widget, the IBar, for comprehensive camera control. The IBar provides a compelling interface for controlling scene perspective based on the artistic ...
138
Voted
ASWEC
2006
IEEE
15 years 10 months ago
2006
IEEE
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...