asml

3熱度

1回答

對我來說，「Gurevich抽象狀態機」（以前稱爲「演化代數」）的概念似乎非常有希望爲系統行爲提供堅實的基礎。它可能是關係代數對於數據庫是什麼：潛在的理論基礎。據我所知，最完整的實現是生成.NET程序集的Microsoft ASML語言。有人真的在工作環境中使用它嗎？而且，萬一，成功的程度如何？如果其他人有成功案例分享，我真的很想開始調查。