Gary O. Langford

Verification of Requirements: System of Systems Theory, Framework, Formalisms, Validity

2017 · INCOSE International Symposium

Abstract Building on the success of systems verification, a new approach and method were developed to improve verification of requirements for system of systems. Following the formal logic (mereology) of Leśniewski, an integrative framework was …