关于若干资产手机软件开发技术人员的安排

来源：广州酷蜂科技专业手机作者：admin 时间：2013-07-25 16:20

[摘要] Facebook已经同意收购若干资产，并聘请一些英国软件验证开发Monoidics的广州手机软件开发技术人员。

      Facebook已经同意收购若干资产，并聘请一些英国软件验证开发Monoidics的广州手机软件开发技术人员。待成交条件，Monoidics的工程师和技术人员将加入Facebook的伦敦办事处。 Facebook将申请Monoidics的自动移动开发过程的形式化验证和分析软件来扫描错误。

         Monoidics团队写道：“2009年，我们开始这家公司最好的自动形式化验证和分析软件，在同行业中的目标。我们已经从程序逻辑的理论思想的公司，拥有世界一流的工程团队，真正为客户的办公室就在伦敦硅环岛中间。这是令人难以置信的旅程……我们曾经爱过的每一分钟。”但现在它的技术人员将继续在Facebook自己的使命，虽然其余的球队不磨磨蹭蹭。该交易的条款没有披露。

        苏Facebooker菲利普解释说，“我们一直非常关注，雇用精明能干，才华横溢的广州手机软件开发技术人员 - 在此次收购，我们发现了许多。他们的创业精神和发挥影响的愿望，使他们很好的补充到Facebook。我们不能等待，让他们在这里！”至于究竟为什么会做Monoidics与Facebook，该公司告诉我，“他们生产的一些最好的自动形式化验证和分析软件代码检查其他错误代码行业，我们将应用我们的移动应用开发，以保持高品质的吧。”

       Monoidics‘推断静态分析器可以帮助手机软件开发技术人员专注于存储的安全性和安全性提供无缺陷的代码。原来错误检测到的数学算法，生成正确性证明，保证软件有没有内存泄露或非法指针引用。它适用于各种规模的应用程序，并能认识到什么部位的一块软件已经更新，所以它没有冗余重新扫描核准代码。同时，Monoidics'X-射线系统可以直观突出风险领域的软件，所以错误破碎团队知道调查什么。 Monoidics客户包括ARM半导体，空中客车公司和三菱电机。

     Facebook最近搬到了一个预定的发布周期，推动iOS和Android的更新，每一个月，两个月。最近还推出了一个Android的测试程序，让用户帮助它测试潜在的功能。这一切都快速送货意味着Facebook可能推马车应用的风险。确保不发生Monoidics。

特别声明：本文链接https://www.kubikeji.com/a/zuixinzixun/xingyedongtai/201307251306.html以上文章内容由广州app公司酷蜂科技编辑上传。本站部分资源来源于网络，如有侵权请联系客服删除！