Sciweavers

2212 search results - page 17 / 443
» Automated software wrapping
Sort
View
LPAR
2005
Springer
14 years 3 months ago
Zap: Automated Theorem Proving for Software Analysis
Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvath...
IRI
2009
IEEE
14 years 4 months ago
Ontology Guided Autonomous Label Assignment in Wrapper Induced Tables with Missing Column Names
Formulating and executing queries over distributed, autonomous and heterogeneous resources is an important research area. The advent of the Internet and the Web and their inherent...
Mohammad Shafkat Amin, Hasan M. Jamil
ICSE
2003
IEEE-ACM
14 years 9 months ago
6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction
This report gives an overview of the 6th ICSE Workshop on Component-Based Software Engineering held at 25th International Conference on Software Engineering. The workshop brought ...
Ivica Crnkovic, Heinz W. Schmidt, Judith A. Staffo...
IWPC
2003
IEEE
14 years 2 months ago
Comprehending Reality - Practical Barriers to Industrial Adoption of Software Maintenance Automation
Recent years have seen many significant advances in program comprehension and software maintenance automation technology. In spite of the enormous potential savings in software ma...
James R. Cordy
KBSE
2002
IEEE
14 years 2 months ago
Report on the Workshop on the State of the Art in Automated Software Engineering
ort gives their abstracts. s of the position papers Recent Experiences with Code Generation and Task Automation Agents in Software Tools (J. Grundy, J. Hosking) As software grows i...
Yves Ledru, David F. Redmiles