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