Get Avast Free Antivirus | Your top-rated shield against malware and online scams
Boost your PC's defense against cyberthreats and web-based scams.
Our antivirus software scans for security and performance issues and helps you to fix them instantly. It also protects you in real time by analyzing unknown files before they reach your desktop PC or laptop — all for free.
Free Download
Our Free Plans just got better! | Auth0
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You 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.
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.
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.
The Amplify MDA project is aimed at delivering a 'model-to-text' generator tool with real-world applicability in less than 1000 lines of Java/Groovy code.
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.
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.
The objective of this project is to enable seamless integration between webMethods and the jasper intelligence suite.
It will allow pixel perfect reporting solutions with complex data integration requirements to be developed in minutes.
CodaServer is a database that makes building business applications easy. It uses a SQL-like language that lets you describe your workflow and business processes, and uses this information to enforce your business rules and guarantee data integrity.
construtsor it's a visual struts development tool. It will help you to create Actions, Form and Pages and link them saving a lot of time and efforts. It could also reverse-engine struts config files.
Now available in even more cloud regions across AWS, Azure, and Google Cloud.
MongoDB 8.0 brings enhanced performance and flexibility to Atlas—with expanded availability across 125+ regions globally. Build modern apps anywhere your users are, with the power of a modern database behind you.
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.
STDProject (Simple Tree Driven Project) is a modeling tool for software development projects. It will let you build your project, watch its consistency, generate documentation and reuse work from one project to another.
Eclipse Plugin for iBATIS. Provides autocompletion and linking for iBATIS mapping and config files. Install it using the updatesite http://eclibatis.sourceforge.net/updatesite/ See the Wiki for documentation.
The Generic Eclipse Modeling System is an MDD tool for Eclipse that allows for the rapid development of GEF modeling plugins. In GEMS, developers specify rules for a domain language using a metamodel and the tool generates a plugin for the specification
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.
automated refactorings, source-code metrics, audits and corrective actions. install as a stand-alone application or as a plug-in to Eclipse or NetBeans.
Runes is a plugin-based framework that reverses the way of thinking about data processing: specify data accesses, and Runes will automatically choose an efficient representation for the data and execute the plugins to integrate it from different sources.
SmartQVT is an implementation of the QVT-Operational language . QVT defines a language for expressing model-to-model transformations. The tool is provided as Eclipse plug-ins running on top of the EMF metamodeling framework and is licensed under EPL.
This is a game.Player has to save his target point(staff).There is an enemy tank. The enemy tank will be trying to kill the staff.If staff is killed then game will be over. And if player can kill the enemy tank then player will win the game.
Open States Machines Designer is a Eclipse RCP based graphical editor for UML States Machines diagrams. It provides functionalities like Import/Export as XML and States Map Compiler Files, Code generation with SMC, UML validation rules...
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.