Sciweavers

3376 search results - page 158 / 676
» Analyzing Software Evolvability
Sort
View
VMCAI
2007
Springer
15 years 11 months ago
Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning
Abstract. This paper presents a novel shape analysis algorithm with local reasoning that is designed to analyze heap structures with structural invariants, such y-linked lists. The...
Sigmund Cherem, Radu Rugina
IPPS
2003
IEEE
15 years 10 months ago
Evolutionary Fault Recovery in a Virtex FPGA Using a Representation that Incorporates Routing
Most evolutionary approaches to fault recovery in FPGAs focus on evolving alternative logic configurations as opposed to evolving the intra-cell routing. Since the majority of tra...
Jason D. Lohn, Gregory V. Larchev, Ronald F. DeMar...
124
Voted
EUROSPI
2007
Springer
15 years 11 months ago
Organizational Learning Through Project Postmortem Reviews - An Explorative Case Study
A central issue in knowledge management and software process improvement is to learn from experience. In software engineering, most experience is gathered in projects, which makes ...
Torgeir Dingsøyr, Nils Brede Moe, Joost J. ...
ICSM
2007
IEEE
15 years 11 months ago
Debugging Integrated Systems: An Ethnographic Study of Debugging Practice
This paper explores how software developers debug integrated systems, where they have little or no access to the source code of the third-party software the system is composed of....
Thomas Østerlie, Alf Inge Wang
IUI
2009
ACM
16 years 1 months ago
Designing user interface adaptation rules with T: XML
The specification of model adaptation and generation rules is a topic of great interest for the user interface development community, since there are more and more approaches supp...
Víctor López-Jaquero, Francisco Mont...