需求建模RequirementsFormalisms
后继Formalisms证明形式
量子力学形式主义导论Introduction
形式主义重用系统集成Integration
代理MethodologiesApplicationsFormalisms
9781848214606SatisfactionConstraintFormalisms
形式主义不确定性ApplicationsUncertainty
欧几里得TrigonometricComputational几何