Ownership types were devised nearly 15 years ago to provide a stronger notion of protection
to object-oriented programming languages. Rather than simply protecting the fields of an …

ABS (for abstract behavioral specification) is a novel language for modeling feature-rich,
distributed, object-oriented systems at an abstract, yet precise level. ABS has a clear and …

Delta-oriented programming (DOP) is a modular, yet flexible approach to implement
software product lines. In DOP, a product line is implemented by a set of deltas, which are …

Automatic code generation is an essential cornerstone of model-driven approaches to
software development. Currently, lots of techniques are available that support the …

Software today is often developed for many deployment scenarios; the software may be
adapted to sequential, concurrent, distributed, and even virtualized architectures. Since …

The HATS project aims at developing a model-centric methodology for the design,
implementation and verification of highly configurable systems, such as software product …

Modern software systems must support a high degree of variability to accommodate a wide
range of requirements and operating conditions. This paper introduces the Abstract …

In formal verification of software product families one not only analyses programs, but must
act on the artifacts and components which are reused to obtain software products. As the …

A major obstacle facing adoption of formal software verification is the difficulty to track
changes in the target code and to accomodate them in specifications and in verification …

This paper presents a unified model for two complementary approaches of code reuse:
Traits and Delta-Oriented Programming (DOP). Traits are used to modularly construct …