Sciweavers

7202 search results - page 376 / 1441
» Software System Engineering: A Tutorial
Sort
View
WCRE
2006
IEEE
16 years 24 days ago
Extracting Change-patterns from CVS Repositories
Often, the only sources of information about the evolution of software systems are the systems themselves and their histories. Version control repositories contain information on ...
Salah Bouktif, Yann-Gaël Guéhén...
SCAM
2008
IEEE
16 years 1 months ago
Change Impact Graphs: Determining the Impact of Prior Code Changes
The source code of a software system is in constant change. The impact of these changes spreads out across the software system and may lead to the sudden manifestation of failures...
Daniel M. Germán, Gregorio Robles, Ahmed E....
163
Voted
SEKE
2001
Springer
15 years 11 months ago
Temporal Logic Properties of Java Objects
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
Radu Iosif, Riccardo Sisto
ASWEC
2008
IEEE
15 years 8 months ago
A Framework for Over the Air Provider-Initiated Software Deployment on Mobile Devices
Abstract-- While mobile users want to obtain software anywhere and anytime without the knowledge of software availability in advance, software providers want to deploy their softwa...
Chuong Cong Vo, Torab Torabi
SIGSOFT
2010
ACM
15 years 4 months ago
Top ten ways to make formal methods for HPC practical
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
Ganesh Gopalakrishnan, Robert M. Kirby