Sciweavers

3889 search results - page 232 / 778
» The Use of Program Dependence Graphs in Software Engineering
Sort
View
VAMOS
2010
Springer
15 years 2 months ago
Optimizing Non-functional Properties of Software Product Lines by means of Refactorings
Abstract—Today, software product line engineering concentrates on tailoring the functionality of programs. However, we and others observed an increasing interest in non-functiona...
Norbert Siegmund, Martin Kuhlemann, Mario Pukall, ...
AC
2008
Springer
15 years 4 months ago
Distributed Sparse Matrices for Very High Level Languages
Sparse matrices are first class objects in many VHLLs (very high level languages) used for scientific computing. They are a basic building block for various numerical and combinat...
John R. Gilbert, Steve Reinhardt, Viral Shah
ICFEM
2009
Springer
15 years 9 months ago
An Empirical Study of Structural Constraint Solving Techniques
Structural constraint solving allows finding object graphs that satisfy given constraints, thereby enabling software reliability tasks, such as systematic testing and error recove...
Junaid Haroon Siddiqui, Sarfraz Khurshid
ICECCS
2002
IEEE
91views Hardware» more  ICECCS 2002»
15 years 9 months ago
Mars Polar Lander Fault Identification Using Model-based Testing
This paper describes the application of the Test Automation Framework on the Mars Polar Lander (MPL) software. The premature shutdown of the descent engine on the MPL spacecraft i...
Mark R. Blackburn, Robert Busser, Aaron Nauman, Ro...
IWPSE
2007
IEEE
15 years 10 months ago
Using concept analysis to detect co-change patterns
Software systems need to change over time to cope with new requirements, and due to design decisions, the changes happen to crosscut the system’s structure. Understanding how ch...
Tudor Gîrba, Stéphane Ducasse, Adrian...