Sciweavers

TAP
2010
Springer
145views Hardware» more  TAP 2010»
13 years 5 months ago
Myths in Software Engineering: From the Other Side
An important component of Empirical Software Engineering (ESE) research involves the measurement, observation, analysis and understanding of software engineering in practice. Resul...
Nachiappan Nagappan
SSIRI
2010
13 years 5 months ago
Model-Based Argument Analysis for Evolving Security Requirements
Thein Than Tun, Yijun Yu, Charles B. Haley, Bashar...
SPLC
2010
13 years 5 months ago
Configuring Software Product Line Feature Models Based on Stakeholders' Soft and Hard Requirements
Abstract. Feature modeling is a technique for capturing commonality and variability. Feature models symbolize a representation of the possible application configuration space, and ...
Ebrahim Bagheri, Tommaso Di Noia, Azzurra Ragone, ...
SOCO
2010
Springer
13 years 5 months ago
Event-Specific Software Composition in Context-Oriented Programming
Context-oriented programming (COP) introduces dedicated abstractions for the modularization and dynamic composition of crosscutting context-specific functionality. While existing C...
Malte Appeltauer, Robert Hirschfeld, Hidehiko Masu...
SOCO
2010
Springer
13 years 5 months ago
Managing Variability in Workflow with Feature Model Composition Operators
Abstract. In grid-based scientific applications, building a workflow essentially involves composing parameterized services describing families of services and then configuring the ...
Mathieu Acher, Philippe Collet, Philippe Lahire, R...
SIGSOFT
2010
ACM
13 years 5 months ago
HI-C: diagnosing object churn in framework-based applications
In prior work we have developed an escape analysis to help developers identify sources of object churn (i.e., excessive use of temporaries) in large framework-based applications. ...
Marc Fisher II, Luke Marrs, Barbara G. Ryder
SIGSOFT
2010
ACM
13 years 5 months ago
PENELOPE: weaving threads to expose atomicity violations
Francesco Sorrentino 0002, Azadeh Farzan, P. Madhu...
SIGSOFT
2010
ACM
13 years 5 months ago
Staged concurrent program analysis
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
Nishant Sinha, Chao Wang
SIGSOFT
2010
ACM
13 years 5 months ago
BERT: a tool for behavioral regression testing
During maintenance, software is modified and evolved to enhance its functionality, eliminate faults, and adapt it to changed or new platforms. In this demo, we present BERT, a too...
Wei Jin, Alessandro Orso, Tao Xie
SIGSOFT
2010
ACM
13 years 5 months ago
Creating and evolving developer documentation: understanding the decisions of open source contributors
Developer documentation helps developers learn frameworks and libraries. To better understand how documentation in open source projects is created and maintained, we performed a q...
Barthélémy Dagenais, Martin P. Robil...