Sciweavers

451 search results - page 30 / 91
» Accomplishing software stability
Sort
View
ICSM
2006
IEEE
14 years 4 months ago
Quantifying the Effects of Aspect-Oriented Programming: A Maintenance Study
One of the main promises of aspect-oriented programming (AOP) is to promote improved modularization of crosscutting concerns, thereby enhancing the software stability in the prese...
Uirá Kulesza, Cláudio Sant'Anna, Ale...
IFL
2007
Springer
221views Formal Methods» more  IFL 2007»
14 years 4 months ago
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,...
ICSM
2006
IEEE
14 years 4 months ago
Tracking Concerns in Evolving Source Code: An Empirical Study
The association between the description of a concern (e.g., a feature) and the code that implements it is valuable information that can degrade as the code of a system evolves. We...
Martin P. Robillard
PKDD
2010
Springer
169views Data Mining» more  PKDD 2010»
13 years 7 months ago
Efficient and Numerically Stable Sparse Learning
We consider the problem of numerical stability and model density growth when training a sparse linear model from massive data. We focus on scalable algorithms that optimize certain...
Sihong Xie, Wei Fan, Olivier Verscheure, Jiangtao ...
CORR
2011
Springer
223views Education» more  CORR 2011»
13 years 4 months ago
Decentralized Formation Control Part I: Geometric Aspects
In this paper, we develop new methods for the analysis of decentralized control systems and we apply them to formation control problems. The basic set-up consists of a system with...
Mohamed-Ali Belabbas