Search Results for "cross-platform"
Sort By:
Showing 34 open source projects for "cross-platform"
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.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
1
Violet is a UML editor with these benefits: Very easy to learn and use. Draws nice-looking diagrams. Completely free. Cross-platform. Violet is intended for developers, students, teachers, and authors who need to produce simple UML diagrams quickly. Want to contribute ? Source code is hosted on github : https://github.com/violetumleditor/violetumleditor
-
2
Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
-
3
OverCASE
A cross-platform integrated CASE system
An integrated CASE system that: • Supports multiple views and stages of project development – from keeping track of reference documentation to analysis/design modelling, to project implementation, roll-out and tracking the project-related issues. • Supports distributed development of projects by multiple participants, while proactively enforcing access control rules and auditing changes. • Is available on all platforms where development takes place (Windows, Unix/Linux, MacOS,... -
4
Mimosa is a modeling and simulation platform, covering the process from building conceptual models to running the simulations. The specification uses ontologies and an extensible set of formalisms for the dynamics. The simulation kernel is based on DEVS.
-
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.
-
5
Z Word Tools
Write, check, index and diagram Z specifications in Microsoft Word.
...Includes a unicode font for Z symbols. Provides: WYSIWYG editing fully integrated into Word; Typechecking using fuzz (for Spivey Z) or CZT (for ISO standard Z); Indexing and cross-referencing; Diagrams of specification structure; Conversion from Spivey to Standard Z- also available as a stand-alone program and Java class for non-windows users. See project website for details. -
6
The Whole Platform is a technology for engineering the production of software. We provide an Eclipse based Language Workbench for developing, manipulating and transforming languages using a model driven approach.
-
7
NetBeans Modules Dependencies
Display NetBeans Module Dependencies
Display in a UML-like diagram the dependencies of applications developed in NetBeans. Originally meant only to display module dependencies of NetBeans Rich Client Platform applications, thanks to the platform itself, it can display dependencies of "plain" and Maven-based Java projects. To display the dependencies, a new action is made available in the 'Source' menu and in the toolbar. The generated graphs can be saved as images or exported in PlantUML or Gephi formats. -
8
A simple simulation of heat transfers in a cross sectional area. The area will be a container or building of some kind. The area will be drawn as materials such as air, water, wood, concrete, glass, earth(dirt) etc.
-
9
pued
PUed - PlantUML Editor
PUed is a PlantUML script editor able to generate UML diagram images by means of the PlantUML capabilities. In order to exploit all PlantUML features the Graphviz platform shall be installed. -
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
10
JAS-mine
Toolkit for agent-based & dynamic microsimulation modelling
JAS-mine is a Java platform that aims at providing a unique simulation tool for discrete-event simulations, including agent-based and microsimulation models. With the aim to develop large-scale, data-driven models, the main architectural choice of JAS-mine is to use whenever possible standard, open-source tools already available in the software development community. -
11
MSCViewer
A tool for visualization and analysis of logs as sequence diagrams
MSCViewer is a tool intended for debugging of control flows in concurrent, distributed systems. The tool loads logs generated by various entities in the system and visualize a sequence diagram chart for events and interactions. The diagram is fully interactive: entity can be added/removed from the diagram and shuffled; events can be filtered, searched, highlighted and annotated with comments. MSCViewer features integration with a Python interpreter which allows writing Python scripts... -
12
BianLian Framework plan to establish a cross-platform, cross-language, JSF .NET like solution. To make all the GUI (both JSF .net and so on) INDEPENDENT to implementation. PS, BianLian is the famous Chinese art with about 1000 years history.
-
13
XJML
XJML 1.0 is a platform for Verification and Validation of Java classes
...Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71) -
14
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-
-
15
redView Riena EMF Dynamic Views. redView provides a WYSIWYG Editor for SWT Views based on EMF Models. redView can be used as Prototyping System, RCP Application and more. redView can render the Views dynamically.
-
16
The Latiz Palette Modeling Environment is a systems modeling event driven simulation environment written in Java and built on the NetBeans platform.
-
17
The power provided by OWL reasoning engines can be translated into Java applications and vice versas with this framework. A binding among OWL and Java concepts has been done in order to incorporate the semantic features of OWL into Java.
-
18
OpenMDE
An ecosystem for model-driven engineering on the JavaEE platform.
The vision is to enable the incorporation of best practices, standard patterns and tools for building robust, scalable, distributed applications with a rich domain model without forcing any lock-in with any particular vendor or framework. For more information visit: http://www.openmde.org. -
19
In order to bring the benefits of a web application into the diagram editing software family, we have designed and implemented an online diagram editing platform which supports UML class diagrams and use case diagrams.
-
20
Water: a fast, secure, dynamic OO language and database. Water is an all-purpose language (and meta-language) that runs Web applications in the browser or server-side. Water is compatible with .NET, Java, and C on Windows, Linux and Mac OS X system.
-
21
(Pre-Alpha) Cross-Platform ERD to Database Design Tool built in Java. Currently Supports PostgreSQL. Not Feature-Complete.
-
22
This will be an eclipse plugin to support the Eclipse ide versions 3.3+. If will include wizards for configuring projects to use Thinwire, and a WYSIWYG visual editor to the Thinwire RIA platform.
-
23
-
24
MDE is an Eclipse plug-in providing UML modeling and code generation capabilities. Use MDE to create platform independent UML models, then use MetaPrograms, MDE's unique code generation technology, to generate code on J2EE, Struts, etc.
-
25
Recito is a graphical modeling and process simulation platform.
