I wonder how much of your requirements would / could be reinterpreted as a dependency graph of logical constraints. I think we may end up with "writing software" to end up being writing such logic + process dependency graphs in plain language. And by extension, given we're talking about people here, committees will form and hammering these out is the new politics.