Facebook已经同意收购若干资产，并聘请一些英国软件验证开发Monoidics的广州手机软件开发技术人员。待成交条件，Monoidics的工程师和技术人员将加入Facebook的伦敦办事处。 Facebook将申请Monoidics的自动移动开发过程的形式化验证和分析软件来扫描错误。
Monoidics团队写道：“2009年，我们开始这家公司最好的自动形式化验证和分析软件，在同行业中的目标。我们已经从程序逻辑的理论思想的公司，拥有世界一流的工程团队，真正为客户的办公室就在伦敦硅环岛中间。这是令人难以置信的旅程……我们曾经爱过的每一分钟。”但现在它的技术人员将继续在Facebook自己的使命，虽然其余的球队不磨磨蹭蹭。该交易的条款没有披露。
苏Facebooker菲利普解释说，“我们一直非常关注，雇用精明能干，才华横溢的广州手机软件开发技术人员 - 在此次收购，我们发现了许多。他们的创业精神和发挥影响的愿望，使他们很好的补充到Facebook。我们不能等待，让他们在这里！”至于究竟为什么会做Monoidics与Facebook，该公司告诉我，“他们生产的一些最好的自动形式化验证和分析软件代码检查其他错误代码行业，我们将应用我们的移动应用开发，以保持高品质的吧。”
Monoidics‘推断静态分析器可以帮助手机软件开发技术人员专注于存储的安全性和安全性提供无缺陷的代码。原来错误检测到的数学算法，生成正确性证明，保证软件有没有内存泄露或非法指针引用。它适用于各种规模的应用程序，并能认识到什么部位的一块软件已经更新，所以它没有冗余重新扫描核准代码。同时，Monoidics'X-射线系统可以直观突出风险领域的软件，所以错误破碎团队知道调查什么。 Monoidics客户包括ARM半导体，空中客车公司和三菱电机。
Facebook最近搬到了一个预定的发布周期，推动iOS和Android的更新，每一个月，两个月。最近还推出了一个Android的测试程序，让用户帮助它测试潜在的功能。这一切都快速送货意味着Facebook可能推马车应用的风险。确保不发生Monoidics。
下一篇：政府部门自主研发手机APP软件
***本网站图片，文字之类版权申明，因为网站可以由注册用户自行上传图片或文字，本网站无法鉴别所上传图片或文字的知识版权，如果侵犯，请及时通知我们，本网站将在第一时间及时删除。
我要评论
最新文章
热门阅读
随机文章
热评文章
热门标签
考古APP开发 感受历史的魅力考古APP开发安全教育app开发解决方案门店小程序类目资质表广州APP开发企业APP制作公司一招告诉你小程序码怎么生成？一文告诉你为什么鲜花店老板主动要做小程序?微信小程序好做吗？如何制作一个购买东西的小程序上海茶楼预约小程序开发越来越受青睐微信运营公众平台开发小技巧大用途为什么说门店小程序和普通小程序有着天壤之别？现在使用微信小程序收费吗微信小程序开发要很多钱吗？微信小程序插件的有什么意义呢？小程序分销超过三级什么样的微信小程序会是爆款西安哪些行业适合开发微信小程序零基础开发小程序商城之支付功能个人如何开发微信小程序微信小程序开发文档之本地调试配置如何搭建新手如何制作小程序深圳做得好的小程序公司西安微信小程序创业为什么会失败如何选择一家好的小程序开发公司微信小程序的存在价值你知道吗？小程序开发:哪类行业小程序比较容易成功？小程序定位附近店铺带来的商机，如何创建微信小程序登录授权界面如何开发小程序全屏展示图片的实现方式微信小程序支付申请微信小程序支付开发详解