Sciweavers

15811 search results - page 106 / 3163
» Search-based software engineering
Sort
View
79
Voted
SCAM
2006
IEEE
15 years 6 months ago
Abstract Interpretation of PIC Programs through Logic Programming
Kim S. Henriksen, John P. Gallagher
80
Voted
SEFM
2006
IEEE
15 years 6 months ago
Specifying Data-Flow Requirements for the Automated Composition of Web Services
Annapaola Marconi, Marco Pistore, Paolo Traverso
70
Voted
ADAEUROPE
2006
Springer
15 years 6 months ago
Abstract Interface Types in GNAT: Conversions, Discriminants, and C++
Javier Miranda, Edmond Schonberg
156
Voted
AOSD
2006
ACM
15 years 6 months ago
Design beyond human abilities
Richard P. Gabriel