A Modular Soundness Theory for the Blackboard Analysis Architecture.

Sven Keidel, Dominik Helm, Tobias Roth, Mira Mezini

Browse the full ESOP paper archive.