Chaperones and impersonators provide run-time support for interposing on primitive
operations such as function calls, array access and update, and structure field access and …

Variability is ubiquitous in today's software development. While techniques to efficiently
implement software product lines are used for decades, verification techniques have been a …

Aspect-oriented programming (AOP) is a popular technique for modularizing crosscutting
concerns. In this context, researchers have found that the realization of design by contract …

A software product line comprises a set of products that share a common code base, but
vary in specific characteristics called features. Ideally, features of a product line are …

It is claimed in the literature that the contracts of a system present crosscutting structure
during its realization. In this context, there has been attempts to improve separation of …

There are numerous mechanisms for modularizing design by contract at the source code
level. Three mechanisms have been the main focus of attention, metadata annotations …

The Java approach to Object-Oriented Design by Contract can be extended and applied to
Aspect-Oriented Software. For doing so, we need to address how current Object-Oriented …

Aspect Oriented Programming (AOP) deals with what are called cross-cutting concerns. AOP
practitioners believe that single abstraction frameworks (like OOP) are not sufficiently …

The recent complexity of high-performance computing (HPC) systems to create efficient
programs is becoming more difficult because of the lagging of processors' performance …

Contracting parties in engineering are responsible for managing both the contracts and the
requirements. The language used in legal documents like contracts and specifications is …