Such a "spec" would not be able to describe how systems interact: protocols, failure modes, SLAs, etc. In other words, the kinds of things you want specified wh

Such a "spec" would not be able to describe how systems interact: protocols, failure modes, SLAs, etc. In other words, the kinds of things you want specified when engineering a system. These are also specs