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
A PMS-valid dependency analyser for Gentoo
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
SCWC-bio-simulator
An OCaml implementation of the Calculus of Wrapped Compartments