雅典娜2.7_Athena 2.7下载地址

软件设计，支持推理和论证

Athena的软件理念和工程科学之间的一个联合项目的结果。

哲学的推理和论证的方法提取，制定和推行的教育和软件的设计和开发于一体的综合方法。

以雅典娜测试驱动器，以便充分评估其能力！