you don’t build specifications, you build models like you would in model-based systems engineering, and then you follow the V-model process. In fact, this is h

you don’t build specifications, you build models like you would in model-based systems engineering, and then you follow the V-model process. In fact, this is how you build an aerospace program, satelite, and more. It is even possible to develop software with agile processes in such a framework, even though strictly speaking it’s not fully agile.