Search Results for "platform"
Sort By:
24 projects for "platform" with 2 filters applied:
-
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.
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
1
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.
-
2
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.
-
3
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.
-
4
EiffelStudio is an Integrated Development Environment (IDE) that provides comprehensive facilities to programmers. It offers a comprehensive suite of tools that enable programmers to produce correct, reliable, and maintainable software while keeping control of the development process. If you want to create fast, robust, scalable applications, then EiffelStudio™ will offer you a cost-effective solution. Imagine being able to model your system as you think – capturing your requirements and...
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
5
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. -
6
DRAKON Editor
A free cross-platform editor for the DRAKON visual language.
DRAKON is a diagram language developed within the Russian space program. Its primary objective is presenting complex software systems in a way which is easy to understand by humans. DRAKON's motto: took a glance - understood at once. DRAKON Editor helps software architects, quality specialists and developers. Architects and quality assurers can express a high-level view of how their product works. DRAKON serves them to explain the dynamics of a software system. Software engineers can use... -
7
abumpack
Fortran library with the Abaqus user material subroutines UMAT/VUMAT
This library contains several of user material subroutines for implicit quasi-static (UMAT) and explicit dynamic (VUMAT) versions of the Abaqus solver. The project web site: http://abumpack.sf.net. The Abaqus is a proprietary finite element (FE) code ( http://www.3ds.com/products-services/simulia/products/abaqus/). Users can write subroutines for use with the Abaqus. Linear elastic, isotropic hardening plasticity, Gurson-Tvergaard-Needleman (GTN), Rousselier constitutive models are... -
8
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... -
9
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.
-
Enterprise-grade ITSM, for every businessFreshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
-
10
Essential ORM Modeler
Design your ORM application in a platform independent way.
Essential ORM Modeler allows you to model your application using an extension of UML class models, generating code for distinct ORM frameworks (JPA, SQLAlchemy or Ruby´s ActiveRecord). The notation, based on persistence patterns, is platform independent. This tool is a plugin of eclipse. -
11
Trike
Computer-aided threat modeling
Trike is a platform-independent tool for systematic, computer-assisted threat modeling, from requirements through deployment. We are developing Trike v2 on GitHub (https://github.com/octotrike/trike). Our mailing lists are still here on SourceForge, and we're leaving the old code repository & releases up for archival purposes. Plus you probably want to use something while you're waiting for v2. -
12
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) -
13
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. -
14
The KlassModeler is a cross platform tool for visually creating C++ classes and class relationships. It generates attractive header files as well as HTML Documentation. An intuitive user interface makes it easy to work with large, complex models.
-
15
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.
-
16
(Pre-Alpha) Cross-Platform ERD to Database Design Tool built in Java. Currently Supports PostgreSQL. Not Feature-Complete.
-
17
MudMop, abbr. for Multi-User Discontinuous system MOdeling Platform, is an enterprise application framework, stands on modeling real world business which is discontinuous, and build business perspective data view and process operations to multi-users
-
18
UMMF is an open-source implementation of UML-compatible meta-meta-model, for the purposes of reifying meta-model implementations and to provide a platform for building flexible model and meta-model transformation tools.
-
19
Coral is a tool and a development platform to create and transform models and modeling languages. It can be used to edit UML models, to develop editors for other modeling languages and to implement MDA and QVT-like model transformations.
-
20
The BDT (Build Development Tools) Project is working towards providing a fully functional Build Integrated Development Environment (IDE) for the Eclipse platform.
-
21
cy.prus is a cross platform simulation environment for medical cybernetics and systems biology. Its purpose is to provide both a facility for simulating life and a GUI for easily constructing biological information processing structures based on XML.
-
22
ETraceTool is a traceability platform encapsulated in an Eclipse plugin. It allows the user to automatically trace a Java/EMF transformation. It also provides a graphic representation of the generated trace.
-
23
SunUML is an open source project to develop a free, fast, flexible, extensible and features full UML/MDA cross-platform. This project is a fork of the excellent but dead StarUML project.
-
24
The MdaWorks platform will be the next-level integrated Eclipse based IDE for developing large-scale enterprise SOA software solutions using MDA technology, jBPM, JBossRules and Wicket.
- Previous
- You're on page 1
- Next
