Search Results for "automation"

...The interface maintains the familiar syntax of the classic Unix utilities while augmenting it with options that help prevent accidental data loss—such as asking before overwriting or deleting, comparing file hashes, and showing predicted outcomes. It’s particularly helpful in scripting or large-scale file management tasks because it combines safety with speed, balancing automation with intentional checks.

CODERU is a java code quality tool to enforce good structure in respect to packages and therefore modules dependencies. CODERU is an achronym and stands for Common Dependency Rules. The CODERU-rules rely on reserved package names and the allowed dependency rules between them expressed in a general way. Unlike other tools forcing you to define allowed or disallowed individual package dependencies CODERU is based on a fixed set of general rules. The dependencies between packages need...

CodeNarc is a static analysis tool for Groovy source code, enabling monitoring and enforcement of many coding standards and best practices. CodeNarc applies predefined and/or custom rules to each Groovy file, and generates an HTML or XML report. This project has been moved to https://github.com/CodeNarc/CodeNarc.

Ruler is a lightweight tool for Windows. It allows you to measure the size and distance between elements on the screen in pixels.

...With object-level DDL previews, schema support, real-time model validation and DDL regeneration, sub-models, bulk undo/redo, drag 'n' drop foreign key creation, a data dictionary, update/delete foreign key automation, and customizable fonts and colors, this data modeler is an indispensable tool in any DBAs toolbox. I've used a lot of data modelers, from open-source free software to expensive modelers like Embarcadero ER/Studio. None of them come close for me in terms of ease-of-use and productivity gains. select * from DataModelers where Indispensable='true'; (1 row(s) affected) Facebook https://www.facebook.com/DataModelerTool/

A graphical tool for designing finite state machines and exporting them to Hardware Description Languages, such as VHDL, AHDL, Verilog, or Ragel/SMC files for C, C++, Objective-C, Java, Python, PHP, Perl, Lua code generation.

ATS4 AppModel is an application flow design tool supporting application specification work, model based testing and test script generation. It provides simple interface to manage complex models. ATS4 AppModel is part of Nokia ATS tool family.

Catsfoot provides to C++ concept checking, overloading with concepts and concept testing to C++ 2011 as a library.

A openArchitectureWare based Generator for deriving a WS-Agreement document from a formal description of a (Web-)Service and its associated assertions (SLO) to Quality Of Service (QoS). You can use predefined QoS parameters as well as introduce new ones.

A lightweight Approach for GUI Developing. The Main Goal of this Project is reducing costs of GUI Developing in Enterprise Applications. Its more than a technical Framwework. Its a also set of Rules to help Developers to handle complexity. Please visit

Digital Signal Processing Block Diagram Compiler - user extendable to all DSP's, but presently supports only the TI C2000 family. Rich support for fixed point arithmetic, both saturated and unsaturated. Block diagram entry is via TinyCAD (included).

The aim of this project is to create a typesystem like haskell, which aids the developer by preventing type-related bugs. This project will help simplify the typesystem of javascript it by making it more strict.

Orizon is a framework intended to provide tools and facilities to test java sources for security flaws. The main goal is to detect common threats as described in Owasp top 10 vulnerability document.

Orc is a embedded language for orchestrating concurrent and distributed programming. It can ensure safe, dead-lock free concurrent execution. This is an implementation of Orc semantics for the .NET framework.

This is a tool developed by 2nd yr CSE B.Techs at IIT Guwahati.We have designed a software in C++ language which,given some design specifications of an analog amplifier generates a netlist file in the current folder which can be opened in LTSpice.

The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)

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.

Design by Contract allows a programmer to document a function/class with statements describing behavior. Metacontract implements the PEP-0316 related to this feature for the Python language using meta classes.

*** This tool has been superseded by ".Net Architecture Checker" at https://sourceforge.net/projects/dotnetarchitect/ ***. (ILDASM-Dependency Checker checks code dependencies in .Net projects to ensure a stable architecture).

Specter is an object-behaviour specification framework for .NET and Mono. It enables behavior driven development (BDD) by allowing developers to write executable specifications for their objects, before actually implementing them.

Format, clean-up, beautify and standardize your php code with a comprehensive set of 34 options. A single 50Kb file that will highly improve the quality of your code. 3 operation modes: web interface, command line and PSPad integration.

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 software engineering.

ArchMapper is a Tool for mapping architecture descriptions of a program to a Java implementation. It offers two main functions: Generating Java source code stubs from an architecture and checking a Java implementation for conformance with an architecture

Lifecycle Manager allows software engineers to manage all stages in the development lifecycle without losing any knowledge of decisions and changes. This system is a groupware knowledge management system for software development.

Design by Contract with seamless integration into the Spring Framework, based on Annotations, AOP and a pluggable Specification Language (supports Expression Language (EL) with Extensions, Groovy, OGNL out of the box).