Sciweavers

2132 search results - page 14 / 427
» Automated software winnowing
Sort
View
COMPSAC
2007
IEEE
13 years 11 months ago
Iterative Planning in the Context of Automated Code Synthesis
Jicheng Fu, Farokh B. Bastani, I-Ling Yen
ECOOPW
2001
Springer
14 years 2 months ago
Automating Object-Oriented Software Development Methods
Current software projects have generally to deal with producing and managing large and complex software products. It is generally believed that applying software development method...
Bedir Tekinerdogan, Motoshi Saeki, Gerson Suny&eac...
TSE
2010
132views more  TSE 2010»
13 years 4 months ago
ASCENT: An Algorithmic Technique for Designing Hardware and Software in Tandem
Search-based software engineering is an emerging paradigm that uses automated search algorithms to help designers iteratively find solutions to complicated design problems. For exa...
Jules White, Brian Doughtery, Douglas C. Schmidt
LPAR
2005
Springer
14 years 3 months ago
Zap: Automated Theorem Proving for Software Analysis
Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvath...
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...