Tools

Executable Software Models, Delta-oriented Programming, Software Configuration

ABS

A modeling language (ABS is a language for Abstract Behavioral Specification, which combines implementation-level specifications with verifiability, high-level design with executablity, and formal semantics with practical usability)

DeltaFineFit

A model-based testing approach for delta-oriented software product lines

DeltaJava

Delta-oriented programming of software product lines of Java programs — supersedes DeltaJ. See also the Imperative Featherweight Delta Java tool chain

DeltaStatecharts

Delta-oriented programming of software product lines of YAKINDU Statecharts

FTS4VMC

A tool to verify properties using family-based model checking taking as input featured transitions systems

PDEPA 

Aggregate Programming

FCPP

A C++ library for aggregate programming based on computational fields

Protelis

An aggregate programming language based on computational fields and embedded in Java, providing an API for simulation and execution of aggregate programming applications — see also the videos about simulation of execution of Protelis code by the Alchemist Simulator

ScaFi

A Scala-based aggregate-programming framework for aggregate computing providing an API for simulation and execution of aggregate programming applications

Traits for the Java-platform

Xtraitj

Pure trait-based programming on the Java platform — supersedes TraitRecordJ and SWRTJ

Systems Biology