Security protocols are critical components for the construction of secure and dependable distributed applications, but their implementation is challenging and error prone. Therefore, tools for formal modelling and analysis of security protocols can be potentially very useful to support software engineers. However, despite such tools having been available for a long time, their adoption outside the research community has been very limited. In fact, most practitioners find such applications too complex and hardly usable for their daily work.

This Integrated Development Environment for the design, verification and implementation of security protocols is aimed at lowering the adoption barrier of formal methods tools for security. In the spirit of Model Driven Development, the environment supports the user in the specification of the model using the simple and intuitive language AnB (and its extension AnBx). Moreover, it provides a push-button solution for the formal verification of the abstract and concrete models, and for the automatic generation of Java implementation.

This Eclipse-based IDE leverages on existing languages and tools for the modelling and verification of security protocols, such as the AnBx Compiler and Code Generator, the model checker OFMC and the cryptographic protocol verifier ProVerif.

This plugin requires XText Redistributable 2.14.0 or later.

External tools (AnBx compiler, OFMC and ProVerif) must be downloaded separately.
Download package available at the support URL.

Entuito Framework is an open source software development tool which provides effective way for building high quality web software systems.

A major aspect of software development is the graphical user interface.

During the development of the Entuito framework we came to the conclusion that describing the components that represent data on the screen costs too much efford and code writing. We decided that in order to achieve optimal efficiency and write code faster with Entuito, we need to find an innovative approach.

That is when the CP language was born.

CP (Custom Presentation) gives the developer the opportunity to build a rich graphical user interface for his application easy, fast and with very low amount of code. With its extremely simple structure but rich functionality CP saves time and efforts while delivering extremely powerful features.

This is a plugin used to easily write Custom Presentation files when using the Entuito Framework. It provides the needed tools for faster navigation and easier code writing of the Custom Presentation files.

Now with advanced OpenAPI 3.0 validation + code generation!

RepreZen API Studio is ready for OAS 3.0 with complete validation, multi-file support, and the new OpenAPI‑Generator. Learn more... 

Powerful Swagger‑OpenAPI Design, Documentation & Development

RepreZen API Studio is the most productive REST API design environment, with everything you need to design, document and deliver world-class APIs and microservices in a fraction of the time.

"Best Swagger/OpenAPI editor out there... RepreZen makes it so easy to get your OpenAPI definition just right without wrestling with the fiddly little details of YAML syntax. I wasted more days than I care to admit on stuff that RepreZen just 'handles'. Try lots of products. Give all the programming editors a shot. You'll learn quickly that this is the best solution for creating OpenAPI definitions. Or you could just save yourself the pain."

- Mark Davis on G2Crowd

Key capabilities:

• Model your APIs with industry-standard Swagger–OpenAPI 2.0, OpenAPI 3.0 or with RAPID-‑ML, an innovative, domain-driven API modeling language.
   
• Full support for OpenAPI 3.0 editing, based on the current 3.0.1 specification, with live views and code generators for Documentation, Diagram and Swagger UI v3. Here's how you can get started with OpenAPI 3.0.

• Full-featured Editors for all supported languages, with code assist, customizable code templates, detailed validation messages, outline view, customizable fonts & syntax color themes.

• Live documentation and diagram views give you immediate insight to your API design, as you edit. You can also generate and publish these as documentation for your API client developers.

• Easily supports large multi-file projects. Share and standardize schema definitions and API components across projects. Split large and complex Swagger Specifications across multiple files for easier navigation and team collaboration.
   
• Built-in sandbox testing with the integrated mock service and Swagger UI view.
   
• Powerful, extensible code gen framework lets you build custom generators with powerful Xtend templates and integrated debugging. Also fully supports Swagger Codegen, OpenAPI Generator, and NSwag open source generators. Over 200 generators ready to use, including server implementation scaffolds, client libraries, documentation and more.

• Maven and Gradle build automation for code generation, and a convenient YAML configuration format for each generation target that provides access code gen options. Standard and custom generators all use this project structure to run inside API Studio, from the command line, or from continuous integration.
   
• Example projects help you get started quickly and come up to speed with the features of RAPID-ML, Swagger‑OpenAPI 2.0 and OpenAPI 3.0. 

• Runs on Eclipse as a standalone RCP app, or as a plug-in feature in a standard Eclipse IDE. You can do your work in your primary development space, with full access to all of your resources, not stuck in a browser sandbox.

• Plug-in team collaboration with Eclipse integrations. API Studio supports a wide range of version control, issue trackers, and continuous integration tools. Git and GitHub are fully supported. Collaboration works on the platforms you're already using, so you don't have to manage a separate set of teams and permissions.

• Your APIs. Your code. No limits. RepreZen doesn't hold your API designs hostage, and won't put any limits on the number of APIs or resources you create. So go ahead and redesign your world as microservices. Edit, test, generate, collaborate, publish, deploy... and become the stuff of API legend.

Note:

This Marketplace item installs API Studio for Eclipse, the add-on solution for standard Eclipse IDE distributions. API Studio Desktop, a standalone RCP application, is available here.

Code Generation

Swagger Codegen and OpenAPI Generator are fully supported in RepreZen API Studio. Following are partial listings of available code generation templates:

API Service Implementation Templates (partial listing)

C#/ASP.NET 5.0
C# for .NET NancyFx Server
Go
Haskell Servant
Java CXF (JAX-RS)
Java / JAX-RS v2.0
Java Inflector
Java Jersey (JAX-RS)
Java RESTEasy (JAX-RS)
Java Spring (Boot, MVC or CloudFeign)
Node.js
PHP Lumen Server
PHP Silex Server
PHP Slim Server
Python Flask Connexion
Rails5
Ruby Sinatra
Scala Scalatra

API Client Libraries (partial listing)

Akka-Scala
Android
C#
C# for.NET 2.0
C++
C++ QT5
Clojure
Dart
Flash
Go
Groovy
Haskell Servant
Java
JavaScript
JavaScript Closure Angular
JMeter
Objective-C
Perl
PHP
Python
Ruby
Scala
Scala Akka
Scala Async
Swagger-YAML
Swagger-JSON
Swift
Tizen
TypeScript - Angular
TypeScript - Angular2
TypeScript - Fetch
TypeScript-Node

Documentation, etc. (partial listing)

HTML (Static)
HTML (Dynamic)
RepreZen HTML Documentation
Swagger (JSON)
Swagger (YAML)

More information:

• Product Video and Feature Tour
• Plans and Pricing
• Getting Started Videos
• Community & Support Site
• Blog

NOW WITH COMPLETE SUPPORT FOR OPEN API 3.0 final spec, full compatibility with Eclipse Oxygen & Photon releases. 

KaiZen OpenAPI Editor is RepreZen's open source, Eclipse-based editor for the industry-standard OpenAPI Specification language, based on Swagger.  This is the same full-featured editor (formerly known as SwagEdit) that powers Swagger-OpenAPI in the popular RepreZen API Studio solution.

Swagger-OpenAPI Zen In Your Eclipse IDE

Features Include:

• FULLY COMPATIBLE with OpenAPI 3.0.0, the newest version of the industry-standard API description language. Here's how you can get started with KaiZen and OpenAPI 3.0.
   
• Full OpenAPI 2.0 (Swagger) compatibility.
   
• Syntax highlighting with configurable colors
   
• Content assist with custom templates. Scope cycling makes it easy to insert references to definitions anywhere in the current file, project or workspace.
   
• Real-time validation
   
• Multi-file support with scope-cycling code assist on $ref properties
   
• Outline view
   
• Quick Outline navigation with scope cycling, to navigate anywhere within the current file, project or workspace.
   
• Hyperlink navigation through $ref properties

Requires Eclipse Oxygen release or later.

Resources

KaiZen OpenAPI Editor on GitHub

• Project Page on GitHub
• Getting Started Guide
• Troubleshooting Guide
• Developer's Guide

OpenAPI Specifications

• Swagger-OpenAPI 2.0 Specification
• OpenAPI 3.0.0 Specification

Other Links

• RepreZen Blog:
  Introducing KaiZen OpenAPI Editor: the open source Eclipse editor for OAS 2.0 & 3.0
• InfoQ:
  RepreZen Releases KaiZen Open-Source Editor and Parser for Open API 3.0

www.cofiq.com

COFIQ allows service portfolio management the easy way. No cumbersome XML/XSD/WSDL/JSON/YAML manipulation. COFIQ generates these for you from a single repository with vocabularies, message and service definitions. Ofcourse available as SAAS solution.

The main attraction of COFIQ is that it guards interoperability and recognizes obsolete services, triggering you to define new versions and determining the impact of vocabulary changes before committing them. This proved illusive for most SOA initiatives, leading to JBOWS at best (Just a Bunch of Web Services). Manually determining the impact of vocabulary changes under pressure from projects has proven too much. With COFIQ this is a breeze! COFIQ generates single file WSDL's (1.1), OpenAPI3.0 (Json and Yaml) and JSON HYPER SCHEMA formats for direct tool consumption. Again all from the same repository with a simple press of a button!

The generated service-definitions can be imported into Eclipse (WSDL) or other tools able to import Service/API/Microservice contracts, for subsequent generation of stubs and skeletons, making it a loosely coupled component in your Service/API development process.

For human consumption COFIQ uses its user interface, data visualization (force directed graphs) https://www.cofiq.com/D3-Visualization.html and trusty PDF reports, allowing you to capture and review semantics and syntax precisely. There is really no need to learn any of the specific standard formats. You just interact with the format agnostic repository.

Use the free 30 day trial. And don't hesitate to contact us for any question. Our service developement approach is focused on keeping things as simple as possible and really reaping the benefits of services that have escaped many of us. We have developed a unique approach where a single repository model can support WSDL as well as REST/API standards. After all, services, independent of format used, can be seen as black boxes with inputs and outputs.

** We have discovered that starting a Paypal subscription, even with a 30 free trial period and the option to cancel at any time, forms a threshold for some potential customers. Please contact us for a custom trial setup if that is the case.

www.cofiq.com

Generate Word documents from Java.

• A highly extensible framework, fully integrated in Eclipse.
• A very simple language to generate high quality Word documents

With only 30 keywords, generating Word documents has never been so easy

pxDoc v1.1.1 released: improve HTML language renderer, improve diagram management

EFFICIENT

• Easy to learn and implement
• Easy to maintain
• Opened to any data that can be accessed through Java (db, files, services, etc.)
• Document generators can be implemented independently of any particular stylesheet (dotx), and the actual stylesheet can eventually be choosen by the end user at runtime !

 
PRAGMATIC

• Re-use your corporate Word templates, stylesheets and macros
• Design complex table with automatic vertical merge capability
• Specify "manual parts" that will not be erased when re-generating the document

 
POWERFUL

• A powerful engine integrated with the Java world:
• Fully integrated in Eclipse (auto-completion, correction, debugging...)
• its engine can create thousands of pages and documents in seconds

 
HIGHLY EXTENSIBLE

• Enablers available for Eclipse, EMF, Capella, Sirius, Papyrus and others to come soon
• Implement your own enablers, diagram providers, language renderers for your specific environment

The pxDoc Papyrus integration provides a ready-to-use integration of pxDoc for Eclipse Papyrus.

INSTALLATION - Before installing the pxDoc-Papyrus Integration, please first install:

• Xtext (v2.11 minimum)
• the pxDoc SDK

pxDoc is a highly extensible framework to generate Word documents from Java. With only 30 keywords, generating Word documents has never been so easy!

This feature allows to integrate pxDoc with the Eclipse Papyrus modeling environment. It is provided with a sample generator:

• UML generic generator: a document generator providing a full documentation of a Papyrus UML model

pxDoc v1.1.1 released: improve HTML laguage renderer and diagram management.

All pxDoc enablers (integration with tools) are open source. Source projects can be found on GitLab.

Check out our Community Site to learn more about this enabler and the integrated generators.

To learn more about pxdoc: www.pxdoc.fr

The pxDoc Sirius integration provides a ready-to-use integration of pxDoc for Eclipse Sirius.

INSTALLATION - Before installing the pxDoc-Sirius Integration, please first install:

• Xtext (v2.11 minimum)
• the pxDoc SDK

pxDoc is a highly extensible framework to generate Word documents from Java. With only 30 keywords, generating Word documents has never been so easy!

This feature allows to integrate pxDoc with the Obeo Sirius modeling environment. It is provided with a sample generator:

• Full Model generator: a generic document generator based on Sirius capabilities

pxDoc v1.1.1 released: improve HTML laguage renderer and diagram management.

All pxDoc enablers (integration with tools) are open source. Source projects can be found on GitLab.

Check out our Community Site to learn more about this enabler and the integrated generators.

To learn more about pxdoc: www.pxdoc.fr

The pxDoc Capella integration provides a ready-to-use integration of pxDoc for Capella.

INSTALLATION - Before installing the pxDoc-Capella Integration, please first install:

• Xtext (v2.11 minimum)
• the pxDoc SDK

pxDoc is a highly extensible framework to generate Word documents from Java. With only 30 keywords, generating Word documents has never been so easy !

This feature allows to integrate pxDoc with Eclipse Capella. It is provided with two sample generators:

• Full Model generator: a generic document generator based on EMF capabilities
• Logical Architecture example: custom document generator for Logical Architecture

pxDoc v1.1.1 released: improve HTML laguage renderer and diagram management.

All pxDoc enablers (integration with tools) are open source. Source projects can be found on GitLab.

Check out our Community Site to learn more about this enabler and the integrated generators.

To learn more about pxdoc: www.pxdoc.fr

With Xtext you can easily create your own programming languages and domain-specific languages (DSLs). The framework supports the development of language infrastructures including compilers and interpreters as well as full blown Eclipse-based IDE integration. While Xtext equips you with a set of sensible defaults, you can tweak every single aspect of your language with Xtext's powerful APIs. A comprehensive documentation as well as the vivid community will help you getting started in no time. And if that is not enough you can buy trainings, consulting or support contracts delivered directly by the committers. The Xtext project is developed professionally, that is the core developers work full-time on it. Besides the comprehensive documentation, Xtext ships with several easy-to-consume examples demonstrating various aspects and customization points of the framework. Whenever you have a question, you'll get an answer in the forum which is driven by the ever growing community around Xtext. Furthermore, we offer professional support, build prototypes, review your language or will assist you with the implementation.

Xtend is a statically-typed programming languages for Java developers.

It leverages Java's typesystem and reuses its syntax as far as possible, but cuts down the amount of boilerplate you have to write. It compiles to readable Java source code and supports advanced language constructs, such as:

• lambda expressions,
• type inference,
• template expressions,
• operator overloading and
• extension methods.

   

And of course it comes with advanced Eclipse-IDE support

It is a tool that helps multilingual processing when developing.

Dragging the word and choosing tokkymessage to open the menu on the right will find the word in the property file within the whole project or a specific project and bring the key into the specified sentence.

* For example

<div>저장</div>

Drag the mouse to '저장' and select tokkymessage.

-->
<div><spring:message code="ui.jsp.save" text="저장"/><</div>

As shown above.

<spring:message code="ui.jsp.save" text="저장"/>

The text above can be changed as desired in the preferences.

Darkest Dark is now DevStyle - a free plugin providing an enhanced set of experiences for Eclipse. Included:

• Darkest Dark theme - #1 in the Marketplace:
  True dark theme with flat replacement icons
  A great experience over Windows, Mac and Linux
   
• Included with DevStyle:
  New light and dark color themes
  All new startup experience for Eclipse
  Inline search for text editors

​Entirely free to use!  Get DevStyle today.

The Groovy Development Tools (GDT) provides Eclipse and Maven support for the Apache Groovy programming language. GDT adds full-featured IDE support for Groovy including editors, wizards, content assist, debugging, refactoring and searching.

The GDT requires the Eclipse Java Development Tools (JDT) as it builds upon Java/JVM support, including Java interoperability. If your Eclipse flavor does not include JDT, you must install it first.

GDT does not provide any direct support for Grails. If you want Grails tooling, then please consider Groovy-Grails Tools Suite or Spring Tool Suite for your Grails projects.

Veracode Greenlight finds security defects in your code and provides contextual remediation advice to help you fix issues in seconds, right in your Eclipse IDE. With Veracode Greenlight, find issues early, reduce development and remediation costs, and deploy quality code on your timeline.

Not a customer? Try Veracode for free!

Register for a free 30-day trial of Veracode Greenlight. For information on getting started, visit our Help Center.

Using the Veracode Greenlight Eclipse Plugin

Visit our Help Center for installation and usage instructions. If you have any questions or need assistance at any time, please contact your Veracode Program Manager or support@veracode.com.

MyBatipse assists developing MyBatis applications.

[Features]

• Content assists to reduce typing.
• Validations to detect errors before running the application.
• See README for the full list of features.

Share Your Eclipse Setup With Your Team

The Launcher is a lightweight desktop app and the easiest way to organize your Eclipse setups – for yourself, your team, or within the community. Save your project setup as a profile, share it with your team and just start building great software. Try it now - it's free!

What is a Profile?

A profile is a "snapshot" of an Eclipse workspace combination containing plug-ins, workspace settings for your team (e.g. project metadata and -preferences, build server configurations and working sets), and links to source code and task repositories (like on GitHub). No actual source code of course. 

The Yatta Launcher lets you build a profile form any Eclipse setup – automatically. You can even share your profiles with other users and, if you like, with the community. And it's for free!

Use Cases

Profiles help you manage all your Eclipse installations. Just install the Launcher, and you are good to go. With Profiles, you, your team, or your users will be able to install and update any project setup. Here are some use cases for Profiles:

• Easily organize your local installations:
  • Start any Eclipse setup from a central location.
  • Make your setups distinct with a name, an icon and a description.
• Share your Eclipse setup with your project team:
  • Help new team members get productive.
  • Distribute your new project setup faster. Stop sending zip files with Eclipse setups.
• Create profile templates for your team(s):
  • Create and distribute your profiles for different project teams or for specific tasks or requirements.
  • Automatically inform teams about profile updates.
  • Build chains of parent, child, and grandchild profiles to manage project setups within your company and across your teams.
• Transfer your Eclipse setup to a new workstation:
  • Install your profile on another operating system.

Features

Installation

• Download a profile and get a working Eclipse setup including the workspace.
• Turn any Eclipse installation into a profile.
• Install your Eclipse IDE and workspace configuration on another device - and even on another operating system.
• Delete or uninstall obsolete profiles.

Sharing

• Deploy your Eclipse setup and workspace to your whole team, and get everyone ready to start coding in seconds.
• Create a group to privately share your profile with your team.
• Share your profile publically to build up your own community of followers.

Updates

• Synchronize versions of plug-ins and Eclipse releases – with your whole team or all your followers at once.
• Always get the latest updates for your profiles. Be it plug-ins or the latest Eclipse release, you never have to start from scratch again.

Management

• Start any profile directly from the Yatta Launcher, or create your own desktop shortcuts.
• See the contents of your profile at a single glance.
• Rearrange your profile list via drag and drop to find your favorite profiles faster.
• Make your profile unique: Customize name, description, color, and icon.

Components

The Client– Eclipse plug-in that lets you share and update your running Eclipse (profile) directly from within your IDE.

The Launcher– Lightweight desktop app to help you manage all your Eclipse installations: Install, start, update, share or uninstall any profile via the Launcher.

The Profiles Hub– The Profiles Hub is the central Hub for downloading Eclipse profiles. When you share a profile, it will be available on the Profiles Hub. If you are searching for a profile that meets the requirements of your project - for example a certain set of plug-ins - the Profiles Hub is the place to visit. Use the search and filter functions to find what you are looking for. From the Profiles Hub, you can access any profile that's publicly available.

Yatta Profiles was designed to make starting new projects with Eclipse really simple. The best thing: Yatta Profiles for Eclipse is completey free - so go ahead and try it!

Use Cases

Profiles help you manage all your Eclipse installations. Just install the Launcher, and you are good to go. With Profiles, you, your team, or your users will be able to install and update any project setup. Here are some use cases:

• Easily manage your local installations:
  • Start a specific Eclipse setup.
  • Make your setups distinct with a name, an icon and a description.
• Share your Eclipse setup with a fellow on your project team:
  • Help new team members get productive.
  • Distribute your new project setup faster. Stop sending zip files with Eclipse setups.
• Create profile templates for your team(s):
  • Create, describe and distribute you profiles for project teams, specific tasks or requirements.
  • Automatically inform profile followers about profile updates.
  • Build profile Chains and manage Eclipse setups within your enterprise and across your teams.
• Transfer your Eclipse setup to a new workstation:
  • Install your profile on another Operating system.

Download Yatta Profiles for Eclipse

Visit our website for more information and free download.

Note that Profiles is still beta but stable – and productive. Anyhow, don't hesitate to send us feedback or file an error report in case anything doesn't work as intended.

We are working hard to continuously improve Profiles as well as other parts of the Eclipse IDE. Stay tuned for our roadmap. There is a lot more to come. You have a feature request? Send us an email!

Contact us

Do you need more information? Contact us and follow the latest Yatta News on Twitter, Facebook or Google +.

Save and Distribute Your Eclipse setup

The Yatta Eclipse Exporter is an easy way to save your Eclipse setups and Workspace configurations – for yourself or your team. Export your Eclipse configuration, installed plug-ins, workspace settings and project configuration quickly and easily to a single local file. Share your project setup with your team and just start building great software. Try it now - it's free!

What's in it?

The Exporter lets you save the setup of any Eclipse to a single file. We call that file a profile. It's a "snapshot" of your Eclipse installation and workspace, containing information about plug-ins, workspace settings (e.g. project metadata and -preferences, build server configurations and working sets), and links to source code and task repositories (like on GitHub). No actual source code of course.

Export Eclipse setups 

Export your running Eclipse environment directly from within your IDE.

• Turn any Eclipse installation into a profile.
• Create profile templates for yourself or your team(s)
• Need similar setups for your projects? Just create a basic installation, export, and apply it whenever you need.
• Export complete project setups to get your team ready to go in minutes.

Install Eclipse setups

Use the lightweight Yatta Launcher desktop app to install exported setups from scratch with just a few clicks. More information how to install an exported profile.

Share Eclipse setups

Deploy your Eclipse setup and workspace to your whole team and get everyone ready to start coding in seconds.

• Share exported setups locally, via e-mail, or any way you like
• Help new team members get productive.
• Distribute your new project setup faster. Stop sending zip files with Eclipse setups.

Download Yatta Profiles for Eclipse

Visit our website for more information and free download.

Note that Profiles is still beta but stable – and productive. Anyhow, don't hesitate to send us feedback or file an error report in case anything doesn't work as intended.

We are working hard to continuously improve Profiles as well as other parts of the Eclipse IDE. Stay tuned for our roadmap. There is a lot more to come. You have a feature request? Send us an email!

Contact us

Do you need more information? Contact us and follow the latest Yatta News on Twitter, Facebook or Google +. 

The GNU MCU Eclipse (formerly GNU ARM Eclipse) is an open source project that includes a family of Eclipse plug-ins and tools for multi-platform embedded ARM & RISC-V development, based on GNU toolchains.

Visualize array graphically in the IDE. No more using Arrays.toString()!

Mirur can visualize numerical arrays of any size. View 1-dimensional arrays using a line graph or a bar chart. View 2-dimensional data using a heatmap. Or even just view a histogram of all values in the array.

Mirur will plot anything that can be interpreted as a collection of numbers, including List or AtomicLong[].