Learn how to protect your Microsoft 365 data, with simple, actionable tips today.
Watch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
Watch Demo Series
Ship Agents Faster
Transform your applications and workflows into powerful agentic systems at global scale.
Gemini 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.
OpenSource Semantic Web Search Engine Software: If two machines anywhere on the web can agree on the same definition of a digital service or digital good, then machine to machine transactions can use this lingua franca to transact on the users behalf.
Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.
Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
An Eclipse plugin to help create, edit and transform Educational Modeling Languages (EML), i.e. semi-formal languages describing teaching/learning strategies. It uses the Eclipse Modeling Framework (EMF) to automatically generate e-learning applications.
ObjectBuilder is a C++ CASE tool (CASE, refactoring, documentation generator). It lets you create, manipulate and navigate classes, class relations, class members and class methods at a high level of abstraction.
jStates is a java library for easy state machine design and implementation.It uses XML to define states and state transitions. jStates is aimed at easy integration with desktop J2SE applications, Struts, Commons Validator, Web and other J2EE technologies
This project will provide tools that leverage Pi Calculus to build more robust Service implementations in Java, that can be verified against a global model description (as defined in the pi4soa project).
PGA (Petit Generateur entre amis : little generator betwenn friends in french) is a generation kernel to load, manipulate emf models (eclipse) with ATL, and practice code generation with several templating technologies like JSP2, Velocity, Jet.
New customers can spin up VMs, build with AI, and query data at no cost.
Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
Java objects that share parts of immutable graphs. Reused subgraphs have directly or indirectly recursive Elements. Selected components get replaced by new counterparts in Context of Mirrors - translation tables. Deep copies are not involved.
This is an Hierarchical State Machine (aka Statechart) engine written in Java (1.5 +) Actually we will develop only support for a subset of UML 2.0 semantics but, in future, we hope to add support for other semantics.
Fast UML is an open-source UML tool with a simple user interface pop-up free. Draw UML diagrams fast, export diagrams to png, jpg and clipboard.
It pretends to be the union between Violet and UMLet.
Jello Framework is an AOA based java web application framework,it includes many distinct viewpoints such as None Config, BPC Model,DMM persistence technology and so on,supports rapid web application building.
This BlueJ-Extension is developed by three student assistants of the lecture "Programming II" at Saarland University. It is designed especially for the students of this lecture, but useable by others too.
Metaquokka is a highly configurable xml editor, currently available as Gridsphere portlet. Besides the default format, there is suppoert for ESysXML, a simulation description scheme for a geodynamics framework. Supports Generic Mapping Tools rudimentary.
This project proposes a tool for formal verification of web services composition based on Pi-calculus and the conversion between BPEL and pi-calculus. This tool integrates two kinds of formal verification techniques and can validate automatically.
Peas provides : data object mapping - data versioning, multi-language support, users & groups - complete web component api - web 2.0 backend and frontend templates
JRequisite is an agile requirement management tool. Its main goal is to give the developer community a free, user friendly, and powerfull tool for requirement analysis and change management.
CM3 describes a set of plugins for several UML-Tools by adding
validation-mechanisms to the tool. This enables the team to setup
several individual validation-rules for their models.
This project targets to develop a visual UML editor for the popular Eclipse IDE. The visual UML editor plugin is fully compatible with the Eclipse Framework and allow developers easily to model and document their software through the UML2 diagrams.
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.