文摘

图形化的配置是一种软件组件R-Matrix原子碰撞环境。其发展是记录为例结合几个软件工程技术:正式规范、泛型编程、面向对象编程,和契约式设计。指定在VDM + +;在c++中实现,语言越来越多的好奇心在科学编程社区。c++支持面向对象,一个强大的体系结构范式在设计软件系统的结构,和正交genericity维度的继承层次结构促进面向对象语言。在c++支持契约式设计可以添加在图书馆形式。技术结合在一起,使整个软件质量的重大贡献。