Streamline Azure Security with Palo Alto Networks VM-Series
Centrally manage physical and virtualized firewalls with Panorama
Improve your security posture and reduce incident response time. Use the VM-Series to natively analyze Azure traffic and dynamically drive policy updates based on workload changes.
Learn more
Go from Code to Production URL in Seconds
Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.
Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
Duplicated source code can harm maintainability of software systems. Duplo is a tool to find duplicated code blocks in large C, C++, Java, C# and VB.Net systems.
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms.
Silicis is a new formal framework for designing [verification] algorithms.
Verification framework for BPEL4WS processes using model checkers like Spin and NuSMV. It takes input BPEL4WS processes and generates output models that can work as input for these model checkers.
LogiDist offer a solution of "Computer Aided Logistic" with mostly informative purposes on executed pickups/delivery of merchandise.
Is able to manage the whole process of purchase, order management, merchandise delivery to reduce distribution costs.
The official repository of JCSim is now hosted by github at https://github.com/almejo/jcsim
JCSim is a fully functional Digital Circuit simulator written in Java. You can create and simulate simple (and not so simple) circuits in an easy way.
It includes a basic set of gates, simple creation of new gates and simulation.
This project provides runtime performance monitoring and reporting for Java applications. It includes a simple API with timers and counters, data persistence, support classes and aspects (AspectJ & Spring AOP), and a reporting web application.
QuarlSIM is a software suite of free open source Electronic Design Automation tools maintained and developed by student at Chalmers University. These tools are used for electrical circuit design, schematic capture, simulation, prototyping, and production
PMDStat generates statistical HTML reports based on PMD scans and annotations from CVS repository. The original idea comes from QALab project but the aim of PMDStat is to avoid anonymity in determination of who broke given PMD rules.
Round Trip Engineering Objects.
Reverse object oriented source code (Java, C#, PHP5) into XOL (XML Object Language) DOM repository.Validate syntax using XML Schema. XSLT for code refactoring & code generation. IDE Editors available (Eclipse plugin)
Reviewer adds comments on code which developer has to follow up. Useful for managing code quality and determining the quality of work delivered by a developer. Most of all it provides a place where developers can learn from their previous mistakes.
mcuStudio is a development environment for Microcontrollers. It's based on Eclipse (plugin). The aim is to provide a high quality development environment for electronics. First editions will target Microchip Pic mcu's. Other mcu will be supported later.
Buildap is a Visual Component Based Development framework. It is available as standalone tool as well as Netbeans and Eclipse plugins. SVG viewer/editor and Diagram Editor are also available. See Buildap powered project at http://e-records.buildap.com/.
BeCover is a Java code coverage tool based on source-code analysis. The main goal is to keep it small and fast, so using it as a plugin in the common IDE's can be achieved.
Framework for doing unit tests (JUnit, DUnit currently) in heterogeneous and distributed environments. The framework provides methods to test a client/server communication since unit tests are executed and synchronized across multiple nodes on a network.
OCL4Java is a pre-compiler(ant and eclipse) to include OCL-Constrains as Java5 Annotations in the Source-Code and have code to check them generated with a user-defined reaction to violations. (Does not change line-numbers for the debugger)
Coarse (COM Objects for the AR System), provides an automation compatible COM API to the AR System (Remedy only provides a C API and a Java API). It is compatible with VB6, VBA, VBScript, and JScript. Based on the RTL Sourceforge project.
Lachesis is a Software Complexity Measurement program for object-oriented source code. Includes Halstead Complexity Measures, McCabes Cyclomatic Complexity and Maintainability Index.
A project to develop Java-based front-ends to the utPLSQL testing framework. This includes integration with JUnit, Ant and Cruise Control. We are working to release code soon (written September 2004).
PHPatch is (to be) an extensible task oriented/platform independent application in PHP,
for web application management operations (but not restricted), similar to Java Ant.
ScientificIcons is a central repository of icons for scientific programs, including molecular biology, lab automation, sample tracking, chemistry, biology, physiology, etc. Looking for an icon for a flask, chemical, gene, plate, robot, atom?