Search Results for "eclipse-jpf" - Page 16
Sort By:
Showing 1556 open source projects for "eclipse-jpf"
View related business solutions-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
1
A pure Java API for Telelogic Synergy/Change, which allow basic operations on records. The core API classes are integrated in an Eclipse plugin for convenient use through the IDE.
-
2
A static checker that model checks the implementation of equality for an Eclipse Java Project.
-
3
cpp2xml
A tool to convert C++ definitions into XML
cpp2xml is a tool to convert C/C++ definitions into XML. The main goal is to use the XML as input to code generation tools, but any other usage may be imagined. -
4
Antrunner4e is an eclipse-plugin that inserts a contextmenue item to start a antfile with the current file or directoryname as input.This provides an easy way to execute actions like compiling the current file, transfer by ftp, execute sql and so on.
-
Your monitoring isn't a stack. It's a pile. Fix that.Replace Datadog, New Relic, and Sentry without adding three more dashboards.
-
5
EGA
A novel and effictive GA algorithm to solve optimization problem
Classical genetic algorithm suffers heavy pressure of fitness evaluation for time-consuming optimization problems. To address this problem, we present an efficient genetic algorithm by the combination with clustering methods. The high efficiency of the proposed method results from the fitness estimation and the schema discovery of partial individuals in current population and. Specifically, the clustering method used in this paper is affinity propagation. The numerical experiments... -
6
JVMLense
The open source profiler for the jvm.
Get an inside view of your application. Find bottlenecks by looking at the development of the duration of your main business methods over time even in production. Find the cause of those bottlenecks by applying the profiling capabilities of JVMLense. -
7
Lemonite is an Open Source tool designed to automate J2EE unit test development and management. It's entirely implemented in Java and makes it very easy to write and run unit tests for common J2EE business concepts (EJB, Servlets, etc...) and for Web Services too. Lemonite works as standalone Java application.
-
8
-
9
WideStudio is an Integrated Development Environment (IDE) for building window applications in C++, Ruby, Python an Perl for Windows, MacOSX, Linux, FreeBSD, SOLARIS and other unix and BTRON and T-Engine. This is open and free (under MIT/X Consortiun Lice
-
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
10
Lemansys LEWS
Lemansys LEWS Alternative Framework for Java Web Applications
Lemansys LEWS (Lightweight Extensible Web Scripting) is alternative framework based on a very easy and "basic like" scripting language (Lemansys Server Pages ".lem" ) oriented also to "not pure" JSP developers (PHP, ASP,...); You can use Eclipse WTP for development (with provided plugin suite extensions) and Apache Tomcat Application Server 7.0 (fully compliant with Servlet API 3.0 ) for deployment and run. Start up Lemansys Server Pages development in 24 hours by following our "Lemansys Bonsai Guide" with more than 30 examples !!! -
11
dotSource Workflow Tool
Workflow Tool for Eclipse
Based on the features of the graphical editing software JaWE (Java Workflow Editor) and the required interpretation of a custom XML dialect, which could not be interpreted by Eclipse, the dotSource GmbH developed a interpreting workflow tool. This allows a time saving, easier application and therefore cost savings. The workflow tool is an extension for the open source Eclipse programming tool from IBM. This workflow tool has been integrated into the dotSource Studio. It consists of 8 individual Java projects, which together form the WorkFlow tool. ... -
12
EasyMX
An alternative to JMX
EasyMx is an alternative to JMX. Its aim is to make it easier to get information about the java applications -
13
gwt-html5-graph
GWT Diagram Library Components based on html5/eclipse gef/eclipse emf
gwt-html5-graph(GWT Diagram Library Components) based on: * Google gwt * html5-canvas: IE9/IE10/firefox/safari/opera/chrome * eclipse-gef: Graphical Editing Framework * eclipse-emf: eclipse Modeling framework< * eclipse-uml2: eclipse UML2 project gwt-html5-graph: html5-based technology, has successfully excellent graphics editing framework Eclipse GEF, model editing framework Eclipse EMF, and the Eclipse UML2 Eclipse EMF-based so successfully transplanted to the GWT platform. ... -
14
Graphane is a solution to generate and deliver enterprise documents (PDF, ODT, RTF, HTML). Templates documents are designed with OpenOffice Writer. Any application being able to export data in XML format can submit these data to the Graphane Server.
-
15
SCOPE
SCOPE: Space-Based Coordination Process Engineering
SCOPE is a high-level coordination language which conforms to the BPMN 2.0 specification and is intended for architecture-centric model-driven software development. SCOPE differentiates between the space-based choreography of multiple concurrent process components and the orchestration of fine-grained activities within a single process component. The SCOPE workbench is based on the Xtext language framework. -
16
This project develops a graphical tool to support i* modelling and analysis of the stakeholder requirements. The main development site is at https://se.cs.toronto.edu/trac/ome
-
17
Maveryx is an innovative Test Automation Framework for Java GUI-based applications. It eliminates the GUI Maps dependency by providing a new dynamic GUI objects handling and an expert system detecting and managing AUT changes and defects at runtime.
-
18
Multimodal Collaboration Framework （MCOF） project aims to develop new collaboration framework for multimodal interactions to reduce the "digital divide".
-
19
The “RDB2RDF Mapper” is a Java based software desktop application which allows a user to create a mapping file between a relational database and an RDFS/OWL ontology via a graphical user interface. This project is ANDS-funded.
-
20
Automatic documentation of JPF components. This project is part of JPF Summer of Code. jpf-automatic-doc is coded as an extension of Java™ Pathfinder from the NASA Ames Research Center under the NOSA 1.3 Licence.
-
21
Feature Modeling Plug-in is a tool for modeling the features (requirements) of a product line and configuring products. Product configuration is supported by automatic choice propagation and conflict resolution. Visit Home Page for papers, demo, HOW-
-
22
Modelio-Open is a project hosting a set of open source extensions (SoaML, SysML and UML Testing Profile) for a previous version (1.2) of the Modelio Free tool . Currently, the lastest version (2.x) of Modelio modeling and generation tool is available at http://modelio.org/downloads/download-modelio.html. All extensions are downloadable at http://forge.modelio.org/projects.
-
23
JTreeMap is a Swing Component which represents a tree structure with rectangles (a TreeMap. See http://www.cs.umd.edu/hcil/treemap/). KTreeMap is the SWT component for treemapping (see http://en.wikipedia.org/wiki/Treemapping). It is an Eclipse plugin.
-
24
Co-op is a workbench for the definition and use of composition operators: abstractions that can encapsulate standard solutions such as coding idioms, design patterns and composition techniques, and can later be (re-) used just like library classes.
-
25
A plugin for the Eclipse IDE to generate control flow graphs and show coverage information. Supports node, edge, edge-pair and prime path coverage. Based on the Eclipse Control Flow Graph Generator (http://eclipsefcg.sourceforge.net/)