Sciweavers

ICSE
2007
IEEE-ACM
14 years 11 months ago
Matching and Merging of Statecharts Specifications
Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, ...
ICSE
2007
IEEE-ACM
14 years 11 months ago
Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset
Many architecture description languages (ADLs) have been proposed to model, analyze, configure, and deploy complex software systems. To face this diversity, extensible ADLs (or AD...
Ali Erdem Özcan, Jean-Bernard Stefani, Matthi...
ICSE
2007
IEEE-ACM
14 years 11 months ago
Using Server Pages to Unify Clones in Web Applications: A Trade-Off Analysis
Server page technique is commonly used for implementing web application user interfaces. Server pages can represent many similar web pages in a generic form. Yet our previous stud...
Damith C. Rajapakse, Stan Jarzabek
ICSE
2007
IEEE-ACM
14 years 11 months ago
Sequential Circuits for Relational Analysis
The Alloy tool-set has been gaining popularity as an alternative to traditional manual testing and checking for design correctness. Alloy uses a first-order relational logic for m...
Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid
ICSE
2007
IEEE-ACM
14 years 11 months ago
Modeling Product Line Architectures through Change Sets and Relationships
The essence of any modeling approach for product line architectures lies in its ability to express variability. Existing approaches do so by explicitly specifying variation points...
André van der Hoek, Scott A. Hendrickson
ICSE
2007
IEEE-ACM
14 years 11 months ago
Feature Oriented Model Driven Development: A Case Study for Portlets
Model Driven Development (MDD) is an emerging paradigm for software construction that uses models to specify programs, and model transformations to synthesize executables. Feature...
Don S. Batory, Oscar Díaz, Salvador Trujill...
ICSE
2007
IEEE-ACM
14 years 11 months ago
Role Migration and Advancement Processes in OSSD Projects: A Comparative Case Study
Socio-technical processes have come to the forefront of recent analysis of the open source software development (OSSD) world. Interest in making these processes explicit is mounti...
Chris Jensen, Walt Scacchi
ICSE
2007
IEEE-ACM
14 years 11 months ago
Kato: A Program Slicing Tool for Declarative Specifications
This paper presents Kato, a tool that implements a novel class of optimizations that are inspired by program slicing for imperative languages but are applicable to analyzable decl...
Engin Uzuncaova, Sarfraz Khurshid
ICSE
2007
IEEE-ACM
14 years 11 months ago
A Technique for Enabling and Supporting Debugging of Field Failures
It is difficult to fully assess the quality of software inhouse, outside the actual time and context in which it will execute after deployment. As a result, it is common for softw...
James A. Clause, Alessandro Orso
ICSE
2007
IEEE-ACM
14 years 11 months ago
The Social Dynamics of Pair Programming
This paper presents data from a four month ethnographic study of professional pair programmers from two software development teams. Contrary to the current conception of pair prog...
Jan Chong, Tom Hurlbutt