Sciweavers

1077 search results - page 104 / 216
» Introducing Software Engineering by means of Extreme Program...
Sort
View
LCTRTS
2010
Springer
15 years 11 months ago
Sampling-based program execution monitoring
For its high overall cost during product development, program debugging is an important aspect of system development. Debugging is a hard and complex activity, especially in time-...
Sebastian Fischmeister, Yanmeng Ba
AOSD
2003
ACM
15 years 9 months ago
Conquering aspects with Caesar
Join point interception (JPI), is considered an important cornerstone of aspect-oriented languages. However, we claim that JPI alone does not suffice for a modular structuring of ...
Mira Mezini, Klaus Ostermann
FSTTCS
1999
Springer
15 years 8 months ago
A Foundation for Hybrid Knowledge Bases
Abstract. Hybrid knowledge bases (HKB’s) [11] were developed to provide formal models for the mediation of data and knowledge bases [14,15]. They are based on Generalized Annotat...
James J. Lu, Neil V. Murray, Erik Rosenthal
AADEBUG
1997
Springer
15 years 8 months ago
Assertions for Dynamic Shape Analysis of List Data Structures
We introduce an assertion language for run-time checking of linked list data structure shapes. The assertion language is expressive enough to define characteristic predicates for ...
Mikhail Auguston, Miu Har Hon
VAMOS
2008
Springer
15 years 6 months ago
Model-Based Implementation of Meta-Variability Constructs: A Case Study using Aspects
In this paper, we introduce the concept of metavariability, i.e., variability with respect to basic variability attributes like binding time or constraints. While the main focus o...
Klaus Schmid, Holger Eichelberger