Sciweavers

3302 search results - page 486 / 661
» Software Is More Than Code
Sort
View
145
Voted
ISSTA
2004
ACM
15 years 11 months ago
Where the bugs are
The ability to predict which files in a large software system are most likely to contain the largest numbers of faults in the next release can be a very valuable asset. To accomp...
Thomas J. Ostrand, Elaine J. Weyuker, Robert M. Be...
IUI
2004
ACM
15 years 11 months ago
The connected user interface: realizing a personal situated navigation service
Navigation services can be found in different situations and contexts: while connected to the web through a desktop PC, in cars, and more recently on PDAs while on foot. These ser...
Antonio Krüger, Andreas Butz, Christian A. M&...
WOSP
2004
ACM
15 years 11 months ago
Collecting whole-system reference traces of multiprogrammed and multithreaded workloads
The simulated evaluation of memory management policies relies on reference traces—logs of memory operations performed by running processes. No existing approach to reference tra...
Scott F. Kaplan
CCS
2004
ACM
15 years 11 months ago
Formally verifying information flow type systems for concurrent and thread systems
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
Gilles Barthe, Leonor Prensa Nieto
AGILEDC
2003
IEEE
15 years 11 months ago
PARFAIT: Towards a Framework-based Agile Reengineering Process
The paper presents a sketch of a framework-based agile reengineering process, named PARFAIT1 , whose objective is to provide the users with evolved versions of legacy systems, as ...
Maria Istela Cagnin, José Carlos Maldonado,...