547 search results - page 41 / 110 » On Automated Program Construction and Verification |
PLILP
1994
Springer
15 years 1 months ago
1994
Springer
In this paper we argue that hand-writing a program generator generator has a number of advantages compared to generating a program generator generator by self-application of a part...
ISMB
1993
14 years 11 months ago
1993
Withthe advent of the HumanGenomeProject. the ability to rapidly construct comprehensiveand accuratelinkage mapsbasedongenetic markerdata fromfamily studies is an absolute necessi...
AAAI
1994
14 years 11 months ago
1994
1 User interface design and development for knowledgebased systems and most other types of applications is a resource-consuming activity. Thus, many attempts have been made to auto...
ICSE
2011
IEEE-ACM
14 years 1 months ago
2011
IEEE-ACM
Current practice in testing JavaScript web applications requires manual construction of test cases, which is difficult and tedious. We present a framework for feedback-directed a...
83
Voted
KBSE
1998
IEEE
15 years 1 months ago
1998
IEEE
Formal approaches to software reuse rely heavily upon specificationmatchingcriterion, where asearch query using formal specifications is used to search a library of components ind...