Sciweavers

3889 search results - page 465 / 778
» The Use of Program Dependence Graphs in Software Engineering
Sort
View
KBSE
2002
IEEE
15 years 11 months ago
Generating Product-Lines of Product-Families
GenVoca is a methodology and technology for generating product-lines, i.e. building variants of a program. The primitive components from which applications are constructed are ref...
Don S. Batory, Roberto E. Lopez-Herrejon, Jean-Phi...
ICSE
1999
IEEE-ACM
15 years 10 months ago
Lightweight Extraction of Object Models from Bytecode
A program’s object model captures the essence of its design. For some programs, no object model was developed during design; for others, an object model exists but may be out-of...
Daniel Jackson, Allison Waingold
PPPJ
2006
ACM
16 years 6 days ago
Aranea: web framework construction and integration kit
Currently there exist dozens of web controller frameworks that are incompatible, but at the same time have large portions of overlapping functionality that is implemented over and...
Oleg Mürk, Jevgeni Kabanov
SIGSOFT
2007
ACM
16 years 7 months ago
State space exploration using feedback constraint generation and Monte-Carlo sampling
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
Sriram Sankaranarayanan, Richard M. Chang, Guofei ...
ICSE
2010
IEEE-ACM
15 years 11 months ago
AURA: a hybrid approach to identify framework evolution
Software frameworks and libraries are indispensable to today’s software systems. As they evolve, it is often timeconsuming for developers to keep their code up-to-date, so appro...
Wei Wu, Yann-Gaël Guéhéneuc, Gi...