Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.
Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
Start Free
Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure
Native application identity and user-based security for your Azure cloud
Gain 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.
SYSTEM FOR DESIGNING AND SIMULATE CONCURRENT AND DISTRIBUTED PROGRAMS IN CLUSTER ARCHITECTURE Provides graphical interface for configuring relationships between cooperating, abstract processes and simulate it in real cluster environment, using MPI.
Clothes - sewing CAD for creation of models of clothes.
Based on the new concept of the automated designing of clothes with use of parametrical model. Creates a base design of model of clothes and allows to change it depending on necessity of updating.
Unlimited organizations, 3 enterprise SSO connections, role-based access control, and pro MFA included. Dev and prod tenants out of the box.
Auth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
KEManager models Knowledge Based Systems following a methodological approach ( Knowledge Engineering) for academical purposes of CommonKADS and IDEAL. It supports the viability test, some knowledge acquisition techniques and conceptual modeling.
This project is a software and a framework implementing a formal specification generation approach. The tool supports the theory on formal modeling, automated composition and formal verification of system specifications.
Our aim is to develop a tool that converts textual constraints written in the OCL 2.0 language into instances of the OCL 2.0 metamodel. We use as a conceptual modeling environment the einaGMC tool http://guifre.lsi.upc.edu/eina_GMC/
This project provides a framework for the generation of workflow code from high-level models. It enables people with no or little experience in this area to generate workflow code a reasonable time by specifying generation templates and reusing adapters.
AI-powered service management for IT and enterprise teams
Enterprise-grade ITSM, for every business
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
jDSM is a Java library for representing and analyzing Design Structure Matrices (DSM). It can be used to analyze any Java software with regards to modularity.
This project aims at implementing a tool to provide traceability for variable and common features in Software Product Lines (SPLs) to other requirement artifacts.
pmMDA - poor man MDA - is a pragmatic MDA code generation engine based on Velocity. The implementation is done in Java. The input model is defined using UML tools - e.g. ArgoUML -. Target frameworks are provided to realize complex applications.
Xcarecrows4MDA provides a complete toolset to build models and check their behavior for standalone applications or whole systems with a hierarchical, state driven approach. A test component checks the safety of the model under various situations.
Omnigraphs are a formal extension of hypergraphs with the ability of edges to connect to multiple nodes and edges. This project hosts the Ogre compilers.
Plugin for the CASE tool Fujaba. It enables the use of Velocity templates in activity graphs. Primary usage: Code generation in model transformations in association with the plugin SPin.
BPeX is a new XML-Schema model (based upon BPMN OMG specifications and XPDL 2.0) that aims to give a valid support to represent and to analyze business processes, with a graphical support provided by a syntax-aided editor.
The Java Aspect Metamodel Interpreter (JAMI) is a research framework for modeling and experimenting with aspect-oriented programming languages. Common language design concepts and their operational semantics are modeled, and can be run by an interpre
Stylebase for Eclipse is a tooling environment for software architects and designers. Stylebase is a reuse repository for architectural styles and patterns and it assists in applying quality-driven architecture design (QADA) into softwareengineering.
This is a software visualizer built entirely on non-iconic glyphs, with support for color-impaired operators. Renderings produced show software as a diagram, not as a written language. The SableCC language interpreter is involved.
A tool for people interested in Special Relativity. Can introduce you to some basics, as the transformations and the 4-vectors. Examples, illustrations and some exercises will be included. With some time, effort, and space on the desk, you can master it.