Resolving Goal-Conflicts and Scaling Synthesis through Mode-Based Decomposition.

Matas Brizzio

Browse the full ICSE paper archive.