首页> 外文会议>International Conference on Formal Methods for Industrial Critical Systems >Generative Model Driven Design for Agile System Design and Evolution: A Tale of Two Worlds
【24h】

Generative Model Driven Design for Agile System Design and Evolution: A Tale of Two Worlds

机译:敏捷系统设计与进化的生成模型驱动设计:两个世界的故事

获取原文

摘要

In order to mainstream the production and evolution of IT at the levels of speed, scale, affordability and collaborative effort needed to truly make IT enter the fabric of every economical and. societal endeavour, as is the projected future of our society in the next decade, the ease of learning, understanding, and applying new disruptive technologies must drastically improve. We argue that the needs of the people, the economical sectors, and the large-scale trends can only be met if the IT professions embrace and adopt a new way of producing and consuming IT, based on more formal descriptions, more models, more reasoning and analysis before expensive implementations are incurred, coupled with automatic transformations, generations, and analyses that take advantage of the models and formalized knowledge. We analyse briefly the various dimensions, derive a specification for the new IT and IT platforms, and provide a few examples of how the new thinking can disrupt the status quo but empower a better understanding, a more efficient organization, and a more automatic management of the many cross-dimensional issues that future connected software and systems will depend upon.
机译:为了在主流所需的速度,规模,价格和合作努力水平的生产和IT的发展真正使IT进入每一个经济的面料和。社会作出努力,是我们社会的未来预计在未来十年内,易于学习,理解和运用新的颠覆性技术必须大幅度提高。我们认为,人的需求,经济部门,以及大型的趋势只能当IT行业接受和采用生产和消费IT的基础上,更正式的描述,更多型号的新途径满足,更多的推理和分析之前昂贵实现在发生时,加上自动转换,世代,并且分析模型和形式化知识的那些利用。我们分析了简要的各个方面,推导出新的IT和IT平台的规范,并提供了新的思路如何破坏现状,但赋予更好的理解,更有效的组织,更自动化管理的几个例子许多跨国层面问题,未来连接软件和系统将取决于。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号