Skip to main content
  • Create account
  • Log in
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 (1600)
  4. Alloy 4 Eclipse

Alloy 4 Eclipse

Alloy 4 Eclipse
1
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.

Mars (4.5)
Luna (4.4)
Kepler (4.3)
Juno (4.2, 3.8)
Previous to Juno (<=4.1)
Neon (4.6)
Oxygen (4.7)
Photon (4.8)
2018-09 (4.9)

http://alloy4eclipse.googlecode.com/svn/trunk/updatesite/

Learn more...

Details Group Tabs

Details

The aim of that plugin is to provide a first class Eclipse integration for the Alloy 4 specification language and tool developed at the MIT (http://alloy.mit.edu/). The release 0.3.x is based on Xtext (http://www.eclipse.org/Xtext/) and uses by default the SAT solver that ships with the Eclipse platform, Sat4j (http://www.sat4j.org/).
The release 0.3.1 adds support for Xtext 2 to release 0.3.0 that was compatible only with Xtext 1.0.

Categories:
  • Modeling Tools
Tags:
  • formal methods,
  • model analysis,
  • alloy
Additional Details
Eclipse Versions: 
Mars (4.5), Luna (4.4), Kepler (4.3), Juno (4.2, 3.8), Previous to Juno (<=4.1), Neon (4.6), Oxygen (4.7), Photon (4.8), 2018-09 (4.9)
Platform Support: 
Windows, Mac, Linux/GTK
Organization Name: 
CRIL-CNRS UMR 8188 Université d'Artois
Date Created: 
Tue, 2011-05-24 03:32
Development Status: 
Beta
License: 
LGPL
Date Updated: 
Mon, 2019-02-04 13:52
Submitted by: 
Daniel Le Berre
Metrics
DateRankingInstallsClickthroughs
December 2019NA0 (0%)7
November 2019NA0 (0%)8
October 2019NA0 (0%)11
September 2019NA0 (0%)8
August 2019NA0 (0%)5
July 2019NA0 (0%)14
June 2019NA0 (0%)7
May 2019NA0 (0%)7
April 2019NA0 (0%)4
March 2019NA0 (0%)8
February 2019NA0 (0%)3
January 2019NA0 (0%)6
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 Alloy 4 Eclipse.

HTML Code:


Markdown Syntax:



Output: Drag to your running Eclipse* workspace. *Requires Eclipse Marketplace Client
Wednesday, December 11, 2019 - 18:04
  • Sign in to post reviews.

Markets

  • Eclipse Project (31)
  • Tools (1600)
    • Application Development Frameworks (205)
    • Application Management (37)
    • Application Server (42)
    • BIRT (10)
    • Build and Deploy (125)
    • Business Intelligence, Reporting and Charting (25)
    • Code Management (152)
    • Collaboration (47)
    • Database (57)
    • Database Development (42)
    • Database Persistence (23)
    • Documentation (80)
    • Eclipse Kura (83)
    • Eclipse SmartHome (65)
    • EclipseRT Target Platform Components (8)
    • Editor (386)
    • Entertainment (18)
    • General Purpose Tools (135)
    • Graphics (38)
    • IDE (400)
    • Internet of Things (IoT) (35)
    • J2EE Development Platform (60)
    • J2ME (6)
    • Languages (181)
    • Linux Tools (20)
    • Logging (26)
    • Mobile and Device Development (57)
    • Modeling (108)
    • Modeling Tools (181)
    • Mylyn Connectors (24)
    • Network (18)
    • Other (86)
    • Process (22)
    • Profiling (25)
    • Programming Languages (126)
    • Reporting (40)
    • Rich Client Applications (57)
    • Science (5)
    • SCM (25)
    • Search (45)
    • SOA Development (20)
    • Source Code Analyzer (122)
    • Systems Development (67)
    • Team Development (66)
    • Testing (115)
    • Tools (685)
    • UI (103)
    • UML (46)
    • Web (117)
    • Web Services (40)
    • Web, XML, Java EE and OSGi Enterprise Development (39)
    • XML (35)
  • IoT (152)
    • Eclipse Kura (83)
    • Eclipse SmartHome (65)
  • RCP Applications (95)
  • Training & Consulting (58)
  • Long Term Support (11)

Search

Advanced Search

More like this

  • Lightning Workbench
  • anqu method
  • Tern Eclipse IDE- Outdated- use Wild Web Developer instead
  • MaintainJ
  • Palladio 4.1 for Eclipse 4.6/.4.7 (Neon/Oxygen)

Favorited by

Eclipse IDE 2019-09

Get the latest version of the Eclipse IDE.

Download Now Learn More

Eclipse Foundation

  • About Us
  • Contact Us
  • Donate
  • Governance
  • 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
  • Community of Projects
  • Working Groups
  • Research@Eclipse
  • Report a Vulnerability
  • Service Status

Copyright © Eclipse Foundation, Inc. All Rights Reserved.

Back to the top