Arnault Lapitre is a PL for Eclipse Formal Modeling Project™
User:
Project:
Eclipse Formal Modeling Project™
Type:
Active:
Thursday, June 30, 2016
Projects
The Eclipse Foundation is home to the Eclipse IDE, Jakarta EE, and hundreds of open source projects, including runtimes, tools, specifications, and frameworks for cloud and edge applications, IoT, AI, automotive, systems engineering, open processor designs, and many others.
Supporters
The Eclipse Foundation is an international non-profit association supported by our members, including industry leaders who value open source as a key enabler for their business strategies.
Membership
Sponsorship
Collaborations
Whether you intend on contributing to Eclipse technologies that are important to your product strategy, or simply want to explore a specific innovation area with like-minded organizations, the Eclipse Foundation is the open source home for industry collaboration.
Industry Collaborations
Research Collaborations
Resources
The Eclipse community consists of individual developers and organizations spanning many industries. Stay up to date on our open source community and find resources to support your journey.
Open Source for Business
What's Happening
Developer Resources
The Foundation
The Eclipse Foundation provides our global community of individuals and organizations with a mature, scalable, and vendor-neutral environment for open source software collaboration and innovation.
- Home
- Projects
- Eclipse Modeling Project
- Eclipse Formal Modeling Project™
- Arnault Lapitre is a PL for Eclipse Formal Modeling Project™