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