Sciweavers

3920 search results - page 136 / 784
» Challenges in Software Evolution
Sort
View
SE
2010
13 years 10 months ago
Towards Social Information Systems
: The development and usage of complex information systems leads to both technical and human challenges as large numbers of stakeholders with conflicting requirements are involved....
Marc Quast, Jean-Marie Favre
CORR
2010
Springer
158views Education» more  CORR 2010»
13 years 9 months ago
Active Architecture for Pervasive Contextual Services
Pervasive services may be defined as services that are available to any client (anytime, anywhere). Here we focus on the software and network infrastructure required to support pe...
Graham N. C. Kirby, Alan Dearle, Ronald Morrison, ...
TSE
2010
125views more  TSE 2010»
13 years 7 months ago
Engineering a Sound Assertion Semantics for the Verifying Compiler
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
Patrice Chalin
BMCBI
2010
156views more  BMCBI 2010»
13 years 9 months ago
Comparative classification of species and the study of pathway evolution based on the alignment of metabolic pathways
Background: Pathways provide topical descriptions of cellular circuitry. Comparing analogous pathways reveals intricate insights into individual functional differences among speci...
Adi Mano, Tamir Tuller, Oded Béjà, R...
APAQS
2001
IEEE
14 years 22 days ago
A Path to Virtual Software Inspection
A number of computer tools have been introduced to overcome the difficulties in traditional software inspection. Actual inspection tools are rarely used, however, as the current t...
Lasse Harjumaa, Henrik Hedberg, Ilkka Tervonen