[SystemSafety] Putting Agile into a longer perspective

[David MENTRÉ]

Hello,

Le 24/10/2019 à 22:09, Steve Tockey a écrit :
> Therefore, if policy and process semantics were precisely and
> concisely specified and validated (using formalism set A) then it
> becomes clear and obvious to every single participant exactly what
> policy and process semantics are supposed to be automated in the first
> place. We can now focus exclusively on efficient and effective
> mappings (using formalism set B) of the given policy and process
> semantics onto the technology semantics. What used to be one big,
> hairy problem becomes two much simpler ones. Problem-space complexity
> is dealt with in formalism set A, solution-space complexity is dealt
> with in formalism set B. That is guaranteed to be a whole lot simpler
> than trying to manage the problem-space complexities and the
> solution-space complexities at the same time.

In an idealistic world, which formalism(s) would you use for "formalism
set A" and "formalism set B"?

Best regards,
D. Mentré