Improving system integration using a modular configuration specification language.

Published in: MODULARITY (Companion) (2016)

Keyphrases

specification language
formal specification
description language
programming language
symbolic execution
software environment
machine learning
case study
search algorithm
expert systems
model checking
requirements specification