3
Pour moi, le concept de «Gurevich Abstract State Machine» (anciennement connu sous le nom de «algèbres évolutives») semble très prometteur pour fournir une base solide aux comportements des systèmes. Il pourrait être ce que l'algèbre relationnelle est pour les bases de données: la fondation théorique sous-jacente.Toute personne utilisant le langage Microsoft ASML?
L'implémentation la plus complète, à ma connaissance, est le langage Microsoft ASML qui génère des assemblages .NET.
Est-ce que quelqu'un l'utilise vraiment dans un contexte de travail? Et, au cas où, avec quel degré de succès?
Je voudrais vraiment commencer à étudier plus, si d'autres ont des histoires à succès à partager.