DO-178C继承了DO-178B的核心文件,原则和过程,同时增加高层次建模的支持,面向对象编程和形式化方法,强调从模型到可执行代码以及反向的双向可追溯性。DO-178C还提供了一个工具的补充,以证明用于建模,面向对象编程和形式化方法的工具的资格和能力。
文档内容节选
cid0 cid0 cid0 cid0 cid0cid0cid0cid0 cid0 cid0cid0 cid0cid0 0123 456738 cid0 cid0 cid0cid0 cid0 Bcid0 cid0cid0 cid0 cid0 cid0cid0cid0cid0cid0cid0cid0cid0cid0cid0cid0cid0cid0cid0cid0cid0cid0cid0 cid0 cid0 cid0 cid0 cid0 cid09 cid0 Acid0 cid0 cid0 cid0 cid0 cid0 cid0 cid0 cid0 cid0 cid0 cid0 cid0 cid0 cid0 cid0 cid0 cid0cid0 cid0 cid0 cid0cid0 cid0 cid0 cid0cid0 cid0 cid0 cid0 cid0 cid0cid0 cid0cid0 cid0cid0cid0cid0cid0 cid0cid0 cid0 cid0 cid0 cid0 cid0......
猜您喜欢
评论