Move语言之父Wolfgang Grieskamp表示更强大更智能更友好的Move语言2.0正在开发中。
Wolfgang Grieskamp 是一位著名的计算机科学家，专注于软件工程，尤其是在基于模型的测试和软件质量保证方面做出了重要贡献。他曾在微软谷歌和Meta工作，参与开发了 Spec Explorer，这是一款基于模型的测试工具，用于从软件行为模型中自动生成测试。Grieskamp 的研究涵盖了正式方法、面向对象系统以及测试框架，并在多个学术会议和期刊上发表了相关论文。他的研究和工具对软件开发中的形式化方法的应用起到了关键作用，特别是在微软等公司中推动了基于模型的测试实践。
以上内容均转载自互联网，不代表AptosNews立场，不是投资建议，投资有风险，入市需谨慎，如遇侵权请联系管理员删除。
微信扫一扫
支付宝扫一扫
订阅AptosNews，掌握Aptos一手资讯。
窗口将关闭与 0 秒
