Facebook已經(jīng)同意收購若干資產(chǎn)，并聘請一些英國軟件驗證開(kāi)發(fā)Monoidics的深圳手機軟件開(kāi)發(fā)技術(shù)人員。待成交條件，Monoidics的工程師和技術(shù)人員將加入Facebook的倫敦辦事處。 Facebook將申請Monoidics的自動(dòng)移動(dòng)開(kāi)發(fā)過(guò)程的形式化驗證和分析軟件來(lái)掃描錯誤。 Monoidics團隊寫(xiě)道：“2009年，我們開(kāi)始這家公司最好的自動(dòng)形式化驗證和分析軟件，在同行業(yè)中的目標。我們已經(jīng)從程序邏輯的理論思想的公司，擁有世界一流的工程團隊，真正為客戶(hù)的辦公室就在倫敦硅環(huán)島中間。這是令人難以置信的旅程……我們曾經(jīng)愛(ài)過(guò)的每一分鐘?！钡F在它的技術(shù)人員將繼續在Facebook自己的使命，雖然其余的球隊不磨磨蹭蹭。該交易的條款沒(méi)有披露。 蘇Facebooker菲利普解釋說(shuō)，“我們一直非常關(guān)注，雇用精明能干，才華橫溢的深圳手機軟件開(kāi)發(fā)技術(shù)人員 - 在此次收購，我們發(fā)現了許多。他們的創(chuàng )業(yè)精神和發(fā)揮影響的愿望，使他們很好的補充到Facebook。我們不能等待，讓他們在這里！”至于究竟為什么會(huì )做Monoidics與Facebook，該公司告訴我，“他們生產(chǎn)的一些最好的自動(dòng)形式化驗證和分析軟件代碼檢查其他錯誤代碼行業(yè)，我們將應用我們的移動(dòng)應用開(kāi)發(fā)，以保持高品質(zhì)的吧?！? Monoidics‘推斷靜態(tài)分析器可以幫助手機軟件開(kāi)發(fā)技術(shù)人員專(zhuān)注于存儲的安全性和安全性提供無(wú)缺陷的代碼。原來(lái)錯誤檢測到的數學(xué)算法，生成正確性證明，保證軟件有沒(méi)有內存泄露或非法指針引用。它適用于各種規模的應用程序，并能認識到什么部位的一塊軟件已經(jīng)更新，所以它沒(méi)有冗余重新掃描核準代碼。同時(shí)，Monoidics'X-射線(xiàn)系統可以直觀(guān)突出風(fēng)險領(lǐng)域的軟件，所以錯誤破碎團隊知道調查什么。 Monoidics客戶(hù)包括ARM半導體，空中客車(chē)公司和三菱電機。 Facebook最近搬到了一個(gè)預定的發(fā)布周期，推動(dòng)iOS和Android的更新，每一個(gè)月，兩個(gè)月。最近還推出了一個(gè)Android的測試程序，讓用戶(hù)幫助它測試潛在的功能。這一切都快速送貨意味著(zhù)Facebook可能推馬車(chē)應用的風(fēng)險。確保不發(fā)生Monoidics。 Facebook已經(jīng)同意收購若干資產(chǎn)，并聘請一些英國軟件驗證開(kāi)發(fā)Monoidics的深圳手機軟件開(kāi)發(fā)技術(shù)人員。待成交條件，Monoidics的工程師和技術(shù)人員將加入Facebook的倫敦辦事處。 Facebook將申請Monoidics的自動(dòng)移動(dòng)開(kāi)發(fā)過(guò)程的形式化驗證和分析軟件來(lái)掃描錯誤。 Monoidics團隊寫(xiě)道：“2009年，我們開(kāi)始這家公司最好的自動(dòng)形式化驗證和分析軟件，在同行業(yè)中的目標。我們已經(jīng)從程序邏輯的理論思想的公司，擁有世界一流的工程團隊，真正為客戶(hù)的辦公室就在倫敦硅環(huán)島中間。這是令人難以置信的旅程……我們曾經(jīng)愛(ài)過(guò)的每一分鐘?！钡F在它的技術(shù)人員將繼續在Facebook自己的使命，雖然其余的球隊不磨磨蹭蹭。該交易的條款沒(méi)有披露。 蘇Facebooker菲利普解釋說(shuō)，“我們一直非常關(guān)注，雇用精明能干，才華橫溢的深圳手機軟件開(kāi)發(fā)技術(shù)人員 - 在此次收購，我們發(fā)現了許多。他們的創(chuàng )業(yè)精神和發(fā)揮影響的愿望，使他們很好的補充到Facebook。我們不能等待，讓他們在這里！”至于究竟為什么會(huì )做Monoidics與Facebook，該公司告訴我，“他們生產(chǎn)的一些最好的自動(dòng)形式化驗證和分析軟件代碼檢查其他錯誤代碼行業(yè)，我們將應用我們的移動(dòng)應用開(kāi)發(fā)，以保持高品質(zhì)的吧?！? Monoidics‘推斷靜態(tài)分析器可以幫助手機軟件開(kāi)發(fā)技術(shù)人員專(zhuān)注于存儲的安全性和安全性提供無(wú)缺陷的代碼。原來(lái)錯誤檢測到的數學(xué)算法，生成正確性證明，保證軟件有沒(méi)有內存泄露或非法指針引用。它適用于各種規模的應用程序，并能認識到什么部位的一塊軟件已經(jīng)更新，所以它沒(méi)有冗余重新掃描核準代碼。同時(shí)，Monoidics'X-射線(xiàn)系統可以直觀(guān)突出風(fēng)險領(lǐng)域的軟件，所以錯誤破碎團隊知道調查什么。 Monoidics客戶(hù)包括ARM半導體，空中客車(chē)公司和三菱電機。 Facebook最近搬到了一個(gè)預定的發(fā)布周期，推動(dòng)iOS和Android的更新，每一個(gè)月，兩個(gè)月。最近還推出了一個(gè)Android的測試程序，讓用戶(hù)幫助它測試潛在的功能。這一切都快速送貨意味著(zhù)Facebook可能推馬車(chē)應用的風(fēng)險。確保不發(fā)生Monoidics。