CertWareNASA 工具集合

CertWare 是一个工具的集合，旨在支持安全可靠的项目的发展。CertWare 采用了几个结构化的参数模型，并且提供了支持书写和验证参数的选择模型。无论是文本编辑还是图形编辑都得到了实现，并且使用了几种模型生成工具，便于实施和维护。