Sciweavers

976 search results - page 90 / 196
» Approach to a Theory of Software Evolution
Sort
View
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 5 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
BMCBI
2005
97views more  BMCBI 2005»
15 years 1 months ago
Phylogenetic reconstruction of ancestral character states for gene expression and mRNA splicing data
Background: As genomes evolve after speciation, gene content, coding sequence, gene expression, and splicing all diverge with time from ancestors with close relatives. A minimum e...
Roald Rossnes, Ingvar Eidhammer, David A. Liberles
CSMR
2008
IEEE
15 years 8 months ago
Visual Detection of Design Anomalies
Design anomalies, introduced during software evolution, are frequent causes of low maintainability and low flexibility to future changes. Because of the required knowledge, an im...
Karim Dhambri, Houari A. Sahraoui, Pierre Poulin
ECSA
2007
Springer
15 years 7 months ago
Architecture Migration Driven by Code Categorization
Abstract. In this paper, we report on the development of a methodology for the evolution of software towards new architectures. In our approach, we represent source code as graphs....
Rui Correia, Carlos M. P. Matos, Reiko Heckel, Moh...
ICWN
2004
15 years 2 months ago
An Architecture Supporting Run-Time Upgrade of Proxy-Based Services in Ad Hoc Networks
Abstract-- In the proxy approach to Service Oriented Computing, a service advertises a proxy, which is searched for, retrieved and used by interested clients as a local handle to t...
Rohan Sen, Radu Handorean, Gregory Hackmann, Gruia...