Search Results for "eclipse-jpf" - Page 35
Sort By:
Showing 2542 open source projects for "eclipse-jpf"
View related business solutions-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
Secure File Transfer for Windows with Cerberus by RedwoodCerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
-
1
beantobean
Java bean to java bean mapper
...The mapping between beans includes : - Mapping of object fields, - Complexe property mapping (property that consists of field of subclasses), - Collection mapping, - subclass mapping, - conversion during the mapping. The mapping is specified byDynamic Specific Language (DSL). Using DSL in an IDE like Eclipse, IntelliJ, Netbeans, ..., simplifies the development of the mapping thanks to the syntax and type checking of the IDE. -
2
The FLEXOR is a software architecture that is designed to support the testing and management of WSN protocols and applications in a flexible way. Its main goal is to provide run-time support to experiments on backchannel-free sensor networks.
-
3
This project is to develop IDE for NintedoDS homebrew SW. (Eclipse based IDE, FreeRTOS running on Nintendo DS, wifi download + usb download, remote debugging and 3D accelerometer with hardware adapter)
-
4
The “Media Crawler” is an extensible Eclipse RCP based desktop application which will crawl a given file system, extract metadata from files, map metadata to internal schemas and store the metadata in a databse. This project is ANDS-funded.
-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
5
An Eclipse plugin trying to faciliate the management of annotated Java files and their corresponding SQL code.
-
6
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.
-
7
-
8
Multimodal Collaboration Framework （MCOF） project aims to develop new collaboration framework for multimodal interactions to reduce the "digital divide".
-
9
Realignment fragment for JD-Eclipse host plug-in. This plug-in for Eclipse makes the decompiled code line numbers actually appropriate to the line numbers from the java-class file. As a result, it becomes possible debugging without source code.
-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
10
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.
-
11
ssSVMToolbox is a Java application capable of performing supervised and semi-supervised learning tasks with Support Vector Machines. It is based on Spring (http://springframework.org/), RapidMiner (http://www.rapidminer.com) and Eclipse RCP (http://eclip
-
12
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-
-
13
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.
-
14
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.
-
15
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.
-
16
A very simple version of Langtons Ant. Made in java, and shown in the console. I have used eclipse for the programming.
-
17
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/)
-
18
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.
-
19
-
20
Java library that implements the PESC College Transcript object and all dependent objects. It provides Marshalling and Unmarshalling from java objects to PESC XML files. To be used in an IDE such as eclipse for auto-completion of fields. The latest version (support for PESC CollegeTranscript 1.6) has been moved to github: https://github.com/jamhgit/pesc-transcript-jar
-
21
Limegreen is a cross platform java application template which streamlines the process of creating applications. It provides experience on each platform, including an .exe for Windows, .app and .dmg on Mac OSX and a .jar for others. The below link isn't
-
22
-
23
Atomic34 allows you to leverage the Selenium Testing framework for testing your site using a SiteDefinition DSL to generate objects representing your site. The generated code can then be used to write tests using strongly typed objects.
-
24
Eclipse plug-ins to edit a MMAC model based diagram. This project will break down in two main parts : A static class editor, and a state editor
-
25
CD++Builder is an Eclipse plug-in that integrates varied applications and utilities that aids in creating CD++ DEVS models, simulating and analyzing results. Among these applications, CD++Modeler provides a graphical editor for coupled and DEVS-Graph