首页> 美国政府科技报告 >Towards Formal Specification and Proof of Finite Element Software within the ATESDevelopment Systems
【24h】

Towards Formal Specification and Proof of Finite Element Software within the ATESDevelopment Systems

机译:走向aTEs开发系统中有限元软件的形式化规范和证明

获取原文

摘要

The objective of the Advanced Techniques integration into Efficient Scientific(ATES) application software was the construction of a software development system into which three advanced techniques have to be integrated. These techniques are complete abstractions of data types and operators, relational data base programming for macroscopic as well as for microscopic scientific data, and formal specification and proof. The algorithmic language and the specification language of ATES system are presented. The basic concepts, necessary for the verification of the realization of a procedural abstraction and an abstract data type with respect to the formal specification, are explained. The one dimensional heat transfer problem is formally specified and proven within the ATES system. A requirements analysis for the finite element library, and the sofware specification and design of the finite element library are presented. A formal specification of a part of the finite element software library and some charateristic parts of the implementation of the finite element library in the ATES System are described. The necessary actions, which must be carried out to verify a procedural abstraction, and a verification of that procedural abstraction, are presented. Some remarks and a conclusion on the application of software engineering techniques when developing software, on the use of the ATES system as a tool to apply the techniques, and on the use of formal specification and verification are given.

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号