标签: .net asml
对我而言,“Gurevich抽象状态机”(以前称为“演化代数”)的概念似乎非常有希望为系统行为提供坚实的基础。它可能是数据库的关系代数:潜在的理论基础。
据我所知,最完整的实现是生成.NET程序集的Microsoft ASML 语言。
是否有人在工作环境中真正使用它?并且,万一,取得了多大程度的成功?
我真的想开始调查更多,如果其他人有成功的故事要分享。
答案 0 :(得分:1)