Search Results for "platform"
Sort By:
18 projects for "platform" with 2 filters applied:
-
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.
-
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.
-
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
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.
-
3
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...
-
4
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... -
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
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... -
6
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... -
7
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.
-
8
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. -
9
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. -
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
10
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) -
11
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. -
12
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.
-
13
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
-
14
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.
-
15
The BDT (Build Development Tools) Project is working towards providing a fully functional Build Integrated Development Environment (IDE) for the Eclipse platform.
-
16
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.
-
17
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.
-
18
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
