Sciweavers

64 search results - page 2 / 13
» Capturing the long-term impact of changes
Sort
View
IFM
2010
Springer
205views Formal Methods» more  IFM 2010»
13 years 4 months ago
Adding Change Impact Analysis to the Formal Verification of C Programs
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
Serge Autexier, Christoph Lüth
IRI
2005
IEEE
13 years 12 months ago
Change impact analysis of enterprise architectures
An enterprise architecture is a high-level description intended to capture the vision of an enterprise integrating all its dimensions: organization structure, business processes, ...
Frank S. de Boer, Marcello M. Bonsangue, Luuk Groe...
ICSM
2008
IEEE
14 years 21 days ago
Change impact analysis for AspectJ programs
Change impact analysis is a useful technique for software evolution. It determines the effects of a source editing session and provides valuable feedbacks to the programmers for m...
Sai Zhang, Zhongxian Gu, Yu Lin, Jianjun Zhao
JSS
2007
109views more  JSS 2007»
13 years 5 months ago
Using Bayesian belief networks for change impact analysis in architecture design
Research into design rationale in the past has focused on argumentation-based design deliberations. These approaches cannot be used to support change impact analysis effectively ...
Antony Tang, Ann E. Nicholson, Yan Jin, Jun Han
GLOBECOM
2008
IEEE
13 years 7 months ago
On the Impact of Inter-Cell Interference in LTE
—While intercell interference coordination (ICIC) for the downlink of multi-cell systems in general and orthogonal frequency division multiple access (OFDMA) networks in particul...
András Rácz, Norbert Reider, G&aacut...