Sciweavers

7209 search results - page 384 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
WCRE
2006
IEEE
15 years 7 months 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...
104
Voted
SEKE
2001
Springer
15 years 5 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
123
Voted
ASWEC
2008
IEEE
15 years 3 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
92
Voted
SIGSOFT
2010
ACM
14 years 11 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
118
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
An empirical study on the evolution of design patterns
Design patterns are solutions to recurring design problems, conceived to increase benefits in terms of reuse, code quality and, above all, maintainability and resilience to change...
Lerina Aversano, Gerardo Canfora, Luigi Cerulo, Co...