Operads for complex system design specification, analysis and synthesis

John D. Foley, Spencer Breiner, Eswaran Subrahmanian +1

As the complexity and heterogeneity of a system grows, the challenge of specifying, documenting and synthesizing correct, machine-readable designs increases dramatically. Separatio…