6167 search results - page 163 / 1234 » Can Refinement be Automated |
137
click to vote
QOSA
2009
Springer
15 years 9 months ago
2009
Springer
When software projects evolve their actual implementation and their intended architecture may drift apart resulting in problems for further maintenance. As a countermeasure it is g...
145
click to vote
ADG
2000
Springer
15 years 9 months ago
2000
Springer
In this paper we propose a bracket algebra based elimination method for automated generation of readable proofs for theorems in incidence geometry. This method is based on two tech...
132
click to vote
KBSE
1998
IEEE
15 years 8 months ago
1998
IEEE
Structural testing criteria are mandated in many software development standards and guidelines. The process of generating test-data to achieve 100 coverage of a given structural c...
122
click to vote
UIST
1998
ACM
15 years 8 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...
132
click to vote
EURODAC
1994
IEEE
15 years 8 months ago
1994
IEEE
In this paper we explain the steps of the CAD tools developed for self checking circuits. The CAD tools developed are used to design Strongly Fault Secure, Strongly Code Disjoint ...