1782 search results - page 267 / 357 » Tool Support for Proof Engineering |
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Several techniques have been developed for identifying similar code fragments in programs. These similar fragments, referred to as code clones, can be used to identify redundant c...
ICSE
2010
IEEE-ACM
14 years 1 months ago
2010
IEEE-ACM
Over 30 years ago, the preprocessor cpp was developed to extend the programming language C by lightweight metaprogramming capabilities. Despite its error-proneness and low ion lev...
WCET
2010
13 years 6 months ago
2010
Hybrid measurement-based approaches to worst-case execution time (WCET) analysis combine measured execution times of small program segments using static analysis of the larger sof...
ICCBR
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Planning the ongoing care of Alzheimer's Disease (AD) patients is a complex task, marked by cases that change over time, multiple perspectives, and ethical issues. G...
AOSD
2005
ACM
14 years 2 months ago
2005
ACM
In this paper we propose an extension to JAsCo for supporting Adaptive Programming in a Component-Based Software Development context. JAsCo is an aspect-oriented programming langu...