Sciweavers

3736 search results - page 259 / 748
» Generative Programming
Sort
View
137
Voted
AOSD
2009
ACM
15 years 7 months ago
Flexible calling context reification for aspect-oriented programming
Aspect-oriented programming (AOP) eases the development of profilers, debuggers, and reverse engineering tools. Such tools frequently rely on calling context information. However,...
Alex Villazón, Walter Binder, Philippe More...
133
Voted
KBSE
2008
IEEE
15 years 10 months ago
Type-Checking Software Product Lines - A Formal Approach
—A software product line (SPL) is an efficient means to generate a family of program variants for a domain from a single code base. However, because of the potentially high numb...
Christian Kästner, Sven Apel
115
Voted
FM
2001
Springer
96views Formal Methods» more  FM 2001»
15 years 8 months ago
Houdini, an Annotation Assistant for ESC/Java
A static program checker that performs modular checking can check one program module for errors without needing to analyze the entire program. Modular checking requires that each m...
Cormac Flanagan, K. Rustan M. Leino
127
Voted
IWFM
1998
15 years 5 months ago
Applications of the TAMPR Transformation System
In this paper we present an overview of the uses of the TAMPR transformation system and present experience with using transformation in industrial applications. TAMPR is a fully a...
Terence J. Harmer, Patrick J. McParland, James M. ...
103
Voted
BMCBI
2008
103views more  BMCBI 2008»
15 years 3 months ago
The VirusBanker database uses a Java program to allow flexible searching through Bunyaviridae sequences
Background: Viruses of the Bunyaviridae have segmented negative-stranded RNA genomes and several of them cause significant disease. Many partial sequences have been obtained from ...
Mathieu Fourment, Mark J. Gibbs