Sciweavers

7380 search results - page 583 / 1476
» Engineering Software Intensive Systems
Sort
View
ICSM
1999
IEEE
15 years 10 months ago
A Language Independent Approach for Detecting Duplicated Code
Code duplication is one of the factors that severely complicates the maintenance and evolution of large software systems. Techniques for detecting duplicated code exist but rely m...
Stéphane Ducasse, Matthias Rieger, Serge De...
TIC
1998
Springer
15 years 10 months ago
Polymorphic Equality - No Tags Required
Polymorphic equality is a controversial language construct. While being convenient for the programmer, it has been argued that polymorphic equality (1) invites to violation of soft...
Martin Elsman
EUROMICRO
2004
IEEE
15 years 10 months ago
Analysis and Prediction of Performance for Evolving Architectures
This paper describes a method for the "Analysis and Prediction of Performance for Evolving Architectures" (APPEAR). The method aims at performance estimation of adapted ...
Evgeni M. Eskenazi, Alexandre V. Fioukov, Dieter K...
ECSA
2010
Springer
15 years 7 months ago
On the Role of Architectural Styles in Improving the Adaptation Support of Middleware Platforms
Modern middleware platforms provide the applications deployed on top of them with facilities for their adaptation. However, the level of adaptation support provided by the state-of...
Naeem Esfahani, Sam Malek
ICSE
2009
IEEE-ACM
15 years 4 months ago
VCC: Contract-based modular verification of concurrent C
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
Markus Dahlweid, Michal Moskal, Thomas Santen, Ste...