Search Results for "command line tool"

advcpmv is a command-line utility designed to enhance the traditional cp, mv, and rm commands with advanced safety and user interaction, making file operations less error-prone and more informative for users working in terminal environments. Instead of blindly copying, moving, or removing files, advcpmv adds features like progress displays, confirmation prompts, intelligent conflict resolution, and smart skipping of identical files, giving users greater transparency and control over batch operations. ...

Extracts dependencies and OO metrics from Java class files produced by most Java compilers. Computes API differences between versions. No source needed. Includes both Swing and command-line interfaces, with XSL stylesheets for formatting output.

A real time inference engine for temporal logical specifications, which is able to acquire, process and generate any binary or real signal through POSIX IPC, files or UNIX sockets. Specifications of signals and dynamic systems are represented as special graphs and executed in real time, with a predictable sampling time of few milliseconds. Real time signal processing, dynamic system control, state machine modeling and logical property verification are some fields of application of this...

This project provides an open-source framework for the generation of high quality source code which is suitable for safety-critical applications and certification (e.g DO-178B). Currently a Simulink and Stateflow front-end and a C-language back-end are included. Some of the strengths of UCGN: - Clearly readable source-code - Separation of functionality and parameters ("tunable parameters") - Robust data storage (compile-time static structures in favor of pointer run-time constructs) -...

The Object-Role Modeling (ORM) standard version 2, associated schemas and generation tools, and a reference implementation in the form of the Natural Object-Role Modeling Architect for Visual Studio (NORMA) product.

Ptolemy is an extension of Java whose goal are to enable separation of crosscutting concerns, while retaining our ability to understand separated concerns modularly. It balances modularity and expressiveness for aspect-oriented software development.

JAVA Program to Sequence Diagram Generator. This tool tries to help on analysing and understanding the behavior of the code when developping JAVA applications by generating the respective Sequence Diagram automatically at program execution.

AppLaunch is a MacOS X tool written in Objective-C/Cocoa to launch common Unix and MacOS commands using a "graphical command line". You can say that it is the MacOS X version of Windows', KDEs, ... "Run"/"Launch" dialog.

PHPCallGraph generates static call graphs for PHP source code using the CodeAnalyzer of the InstantSVC project and the DOT tool. The graphs can be leveraged to gain a better understanding of large software systems or even to debunk design flaws in them.

Tools for develop and program design in the style of finite automata

Components 4 Java is a development tool for Java. It provides a framework to organize different parts of code in loosely coupled components. Those will be sticked together graphically to larger compositions and distributed among Java Archives.

The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.

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.

SIM stands for Struts In Mind, the goal is to transform a struts-config.xml file into a Freemind map, thus allowing a better vizualisation of the application mapping. Configuration is analyzed to provide a vision enhanced with colors and icons.

snavtofamix is part of FETCH (http://www.lore.ua.ac.be/Research/Artefacts/fetch/), transforming C++ and Java source code facts parsed by Source Navigator into a FAMIX CDIF model for usage in reverse engineering environments.

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.

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.

JContractS, Java Contract Suite, allows you to easily add contracts to your Java classes. Contracts are specified in Javadoc comments and processed at build time. It is a resurrection of the iContract tool from Reliable Systems.

Haggler supports the definition, documentation, and implementation of class invariants and method pre-conditions and post-conditions through Java5 annotations.

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.

This project is a smart code/text file generator based on template files. This project can generate multiple files in one command/template file and also can modify existing files based on special tags.

Runtime library for the JUndo language. See http://verdantium.blogspot.com/

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.

JUndo is a declarative object-oriented programming language with functional, and intensional programming characteristics. Applications include multi-level undo and sophisticated error recovery. See http://verdantium.blogspot.com/

The Distributed Real-time Embedded Analysis Method (DREAM) is a tool and method for the real-time verification and performance estimation of distributed real-time embedded (DRE) systems. Publications: http://www.ics.uci.edu/~gabe/publications.html.