2132 search results - page 62 / 427 » Automated software winnowing |
KBSE
1998
IEEE
15 years 3 months ago
1998
IEEE
Automated user-interface generation environments have been criticized for their failure to deliver rich and powerful interactive applications [18]. To specify more powerful system...
120
click to vote
ADAEUROPE
1998
Springer
15 years 3 months ago
1998
Springer
This paper describes an automated approach for generating Ada bindings from Java class files. We start with the set of Java features that require a visible Ada binding, and an Ada ...
UIST
1998
ACM
15 years 3 months ago
1998
ACM
This paper describes a programming-by-demonstration system, called Internet Scrapbook, which allows users with little programming skill to automate repetitive browsing tasks. With...
COORDINATION
2006
Springer
15 years 2 months ago
2006
Springer
How to coordinate the processes in a complex component-based software system is a nontrivial issue. Many different coordination approaches exist, each with its own specific advanta...
88
Voted
AMAST
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against func...