A set of tools for Abstract State Machines (ASM) based on their Metamodel (AsmM). The code is now available at https://github.com/asmeta/asmeta

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2), Other License

Follow ASMETA: a tool set for the ASM

ASMETA: a tool set for the ASM Web Site

Other Useful Business Software
Endpoint Management with Remote Control Built In Icon
Endpoint Management with Remote Control Built In

Patch, monitor, and connect to Windows and macOS devices from one console

Splashtop AEM handles patching, alerts, scripts, and inventory, and unattended remote control is included. When something needs hands-on work, you’re one click away instead of switching tools.
Start Free Trial
Rate This Project
Login To Rate This Project

User Ratings

5.0 out of 5 stars
★★★★★
★★★★
★★★
★★
★
1
0
0
0
0
ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 5 / 5
features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 5 / 5
design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 5 / 5
support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 5 / 5

User Reviews

Filter Reviews:
All
  • marcor92 Posted 2019-05-28
    It is a useful and maintained eclipse plugin for handling Abstract State Machines. I used it for research. The support is quick for any issues.
Read more reviews >

Additional Project Details

Intended Audience

Education, Information Technology

Programming Language

Java

Registered

2005-12-23
Report inappropriate content