Skip to main content
  • Log in
  • Manage Cookies
Eclipse Plugins, Bundles and Products - Eclipse Marketplace
  • My Marketplace
  • Add Content
  • More

      • Community

      • Marketplace
      • Events
      • Planet Eclipse
      • Newsletter
      • Videos
      • Blogs

      • Participate

      • Report a Bug
      • Forums
      • Mailing Lists
      • Wiki
      • IRC
      • Research

      • Eclipse IDE

      • Download
      • Learn More
      • Documentation
      • Getting Started / Support
      • How to Contribute
      • IDE and Tools
      • Newcomer Forum
  1. Home
  2. Marketplace
  3. Tools (1323)
  4. Asmeta

Asmeta

Asmeta
0
0
Install

Drag to Install!

Drag to your running Eclipse* workspace.
*Requires Eclipse Marketplace Client

Add this URL to your Eclipse Installation to reach this solution's update site.

2020-06 (4.16)
2020-03 (4.15)
2019-12 (4.14)
2019-09 (4.13)
2019-06 (4.12)
2019-03 (4.11)
2018-12 (4.10)
2018-09 (4.9)
Photon (4.8)
Oxygen (4.7)
2020-09 (4.17)
2020-12 (4.18)
2021-03 (4.19)

https://raw.githubusercontent.com/asmeta/asmeta_update_site/master
Learn more...

Details Group Tabs

Details

Asmeta is a framework for Abstract State Machines. This plugin enables:

  • Asmee: a graphical IDE which allows to edit, manipulate, and simulate Asmeta models
  • AsmetaSMV: a model checker for Asmeta models based on NuSMV
  • AsmetaMA: a model advisor for Asmeta models
  • AsmetaV: a scenario-based validator for Asmeta models
  • AsmetaVis: a visualizer for Asmeta models
  • AsmetaA: an animator for Asmeta models executions
Categories:
  • Editor,
  • Modeling
Tags:
  • Abstract State Machines (ASM)
Additional Details
Eclipse Versions: 
2020-06 (4.16), 2020-03 (4.15), 2019-12 (4.14), 2019-09 (4.13), 2019-06 (4.12), 2019-03 (4.11), 2018-12 (4.10), 2018-09 (4.9), Photon (4.8), Oxygen (4.7), 2020-09 (4.17), 2020-12 (4.18), 2021-03 (4.19)
Platform Support: 
Windows, Mac, Linux/GTK
Organization Name: 
FMSE Lab UniMI and UniBG
Development Status: 
Production/Stable
Date Created: 
Tue, 2015-01-13 06:41
License: 
EPL
Date Updated: 
Wed, 2022-04-27 08:44
Submitted by: 
Angelo Gargantini
Metrics
DateRankingInstallsClickthroughs
May 2022744/7511 (0%)11
April 2022697/8173 (0%)16
March 2022595/8208 (0%)10
February 2022635/8194 (0%)8
January 2022NA0 (0%)11
December 2021NA0 (0%)7
November 2021656/8225 (0%)11
October 2021797/8261 (0%)17
September 2021706/8303 (0%)15
August 2021NA0 (0%)11
July 2021629/8266 (0%)17
June 2021661/8425 (0%)7
May 2021NA80
View Data for all Listings
Errors

Unsuccessful Installs in the last 7 Days: 0

Download last 500 errors (CSV)
External Install Button

Marketplace Drag to Install button

By adding the following code below to your website you will be able to add an install button for Asmeta.

HTML Code:


Markdown Syntax:



Output: Drag to your running Eclipse* workspace. *Requires Eclipse Marketplace Client
Monday, May 16, 2022 - 09:01
  • Sign in to post reviews.

Markets

  • Eclipse Project (4)
  • Tools (1323)
    • Application Development Frameworks (163)
    • Application Management (27)
    • Application Server (33)
    • BIRT (10)
    • Build and Deploy (102)
    • Business Intelligence, Reporting and Charting (14)
    • Code Management (116)
    • Collaboration (37)
    • Database (46)
    • Database Development (34)
    • Database Persistence (17)
    • Documentation (61)
    • Eclipse Kura (112)
    • Eclipse SmartHome (46)
    • EclipseRT Target Platform Components (8)
    • Editor (336)
    • Entertainment (14)
    • General Purpose Tools (122)
    • Graphics (33)
    • IDE (339)
    • Internet of Things (IoT) (34)
    • J2EE Development Platform (44)
    • J2ME (6)
    • Languages (154)
    • Linux Tools (19)
    • Logging (22)
    • Mobile and Device Development (50)
    • Modeling (91)
    • Modeling Tools (146)
    • Mylyn Connectors (20)
    • Network (14)
    • Other (73)
    • Process (18)
    • Profiling (22)
    • Programming Languages (99)
    • Reporting (32)
    • Rich Client Applications (40)
    • Science (4)
    • SCM (20)
    • Search (41)
    • SOA Development (15)
    • Source Code Analyzer (100)
    • Systems Development (56)
    • Team Development (55)
    • Testing (90)
    • Tools (562)
    • UI (93)
    • UML (41)
    • Web (91)
    • Web Services (32)
    • Web, XML, Java EE and OSGi Enterprise Development (32)
    • XML (29)
  • IoT (162)
    • Eclipse Kura (112)
    • Eclipse SmartHome (46)
  • RCP Applications (78)
  • Training & Consulting (52)
  • Long Term Support (11)

Search

Advanced Search

More like this

  • CoreASM Eclipse Plugin
  • YAKINDU Statechart Tools
  • SCXML2PauWare
  • Lightning Workbench
  • Code Rocket Eclipse

Favorited by

Eclipse Foundation

  • About Us
  • Contact Us
  • Donate
  • Members
  • Governance
  • Code of Conduct
  • Logo and Artwork
  • Board of Directors

Legal

  • Publishing Guidelines
  • Privacy Policy
  • Terms of Use
  • Copyright Agent
  • Eclipse Public License
  • Legal Resources

Useful Links

  • Welcome to Marketplace
  • Report a Bug
  • Documentation
  • How to Contribute
  • Mailing Lists
  • Forums
  • Marketplace

Other

  • IDE and Tools
  • Projects
  • Working Groups
  • Research@Eclipse
  • Report a Vulnerability
  • Service Status

Copyright © Eclipse Foundation. All Rights Reserved.

Back to the top