3
제게 "Gurevich Abstract State Machine"(이전의 "진화하는 algebras"으로 알려짐) 개념은 시스템 동작에 대한 확실한 기반을 제공하는 데 매우 유망한 것으로 보입니다. 그것은 관계형 대수학이 데이터베이스를위한 것일 수 있습니다 : 기본 이론적 기반.누구나 Microsoft ASML 언어를 사용하고 있습니까?
가장 완벽한 구현은 .NET 어셈블리를 생성하는 언어 인 Microsoft ASML입니다.
누구나 실제로 작업 환경에서 사용하고 있습니까? 그리고, 성공의 정도는 어느 정도입니까?
공유 할 성공 사례가있는 경우 조사를 시작하고 싶습니다.