Sciweavers

15784 search results - page 677 / 3157
» Mega Software Engineering
Sort
View
ISSTA
2012
ACM
13 years 9 months ago
Detecting inconsistencies via universal reachability analysis
Recent research has suggested that a large class of software bugs fall into the category of inconsistencies, or cases where two pieces of program code make incompatible assumption...
Aaron Tomb, Cormac Flanagan
SOCO
2007
Springer
16 years 1 months ago
Generic Feature-Based Software Composition
Abstract. Bridging problem domain and solution in product line engineering is a time-consuming and error-prone process. Since both domains are structured differently (features vs....
Tijs van der Storm
CSMR
2002
IEEE
16 years 6 days ago
A New Approach to Software Exploration: Back-Packing with GSEE
Maintaining software is very difficult, not only because of the number of software artifacts, but also because of the large variety of artifacts. Software includes programs, but a...
Jean-Marie Favre
EUROMICRO
2009
IEEE
16 years 2 months ago
Approaching the Model-Driven Generation of Feedback to Remove Software Performance Flaws
Vittorio Cortellessa, Antinisca Di Marco, Romina E...
CODES
2006
IEEE
16 years 1 months ago
SHAPES: : a tiled scalable software hardware architecture platform for embedded systems
Pier Stanislao Paolucci, Ahmed Amine Jerraya, Rain...