Modular specification and checking of structural dependencies.

Ralf Mitschke Michael Eichberg Mira Mezini Alessandro Garcia Isela Macia Bertran

Published in: AOSD (2013)

Keyphrases

advanced transaction models
high level
structural information
control flow
structural analysis
modular neural networks
neural network
knowledge base
highly modular
case study
finite state machines
formal specification
dependency graph