• 编译器前端概述与可信编译器

    Java程序员应该会非常熟悉Spring,在Spring框架中对注解的支持和字节码动态生成都属于编译技术;前端程序员通常会使用Babel这个工具,主要是为了将ES6语法编写的代码转换为做向后兼容的JS语法...

    2021-08-25 digiproto

  • 迪捷软件受邀出席中车软件质量提升交流会

    随着信息技术的飞速发展,软件产品已应用到社会各个领域,软件质量就是软件产品的灵魂,软件质量的保障也因此变得尤为重要。10月22日,以“形式化验证”为主题...

    2021-06-03 迪捷软件

  • 迪捷软件启航杯MBSE建模大赛见闻

    2020年10月27日,由中国航天科技集团有限公司八院八〇五研究所(上海宇航系统工程研究所)与中国商用飞机有限责任公司北京民用飞机技术研究中心(以下简称中国商飞北研中心)共同主办的“启航杯”...

    2021-06-03 迪捷软件

  • 清华大学操作系统讲座

    2016年5月24日,耶鲁大学计算机系教授邵中老师在清华大学FIT大楼进行了操作系统验证方面的讲座。讲座由北京迪捷数原科技有限公司的首席科学家陈渝老师主持,公司多名研发工程师均参加了此次讲座。

    2020-10-21 迪捷软件

  • 迪捷软件创始人康烁受邀至清华大学软件学院授课

    2020年9月11日,迪捷软件创始人康烁先生受邀至清华大学软件学院授课,课程主题为《软件自动化技术》。该课程由清华大学软件学院副院长顾明教授主持,迪捷软件创始人康烁先生和清华大学软件学院副教授周旻老师做了与课程主题相关的报告。

    2020-09-23 迪捷软件

上一页1下一页 转至第
首页
产品
新闻
联系