• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Annual IEEE International Systems Conference >Applying the VDM formalism across systems engineering lifecycles
【24h】

Applying the VDM formalism across systems engineering lifecycles

机译：在系统工程生命周期中应用VDM形式主义

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

While Systems Engineering has come a long way since its early beginning over six decades ago, it is still facing challenges in gaining the same degree of rigour and precision that is found in the theorical foundation of other engineering domains. Systems Engineering has always incorporate tools and methods from other engineering domains and adapted them to fit the purpose of engineering systems. This paper explores the feasibility of expanding the theoretical foundation of systems engineering through the use of the theoretical foundation of the Software Engineering domain, specifically the use of formal methods. A study is presented on the applicability of one of most well-established formal methods notations, the Vienna Development Method (VDM), across a classic systems engineering life cycle using a systems engineering case study.
机译：自从六十多年前开始以来，系统工程已经走了很长一段路，但在获得与其他工程领域的理论基础相同的严格性和精确性方面，它仍然面临着挑战。系统工程部始终结合其他工程领域的工具和方法，并对其进行调整以适合工程系统的目的。本文探讨了通过利用软件工程领域的理论基础，特别是形式化方法来扩展系统工程理论基础的可行性。本文使用系统工程案例研究，研究了最完善的形式化方法表示法之一维也纳开发方法（VDM）在整个经典系统工程生命周期中的适用性。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号