Search Results for "learning linux command line"

When computer power increases, programmers generally add more "features", thus making any performance gains in new hardware negligible. This project is an attempt to develop a library above libc that breaks out of this terrible loop.

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.

An algorithm to efficiently compute the number of products and the commonality of the features modeled by a Feature Diagram

Conky Skin Chooser is a console application to manage conky skins. View the Home page to get started, find installation help, and to see revision history (Fun Stuff!). Did I forget to say it works now? It really does.

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.

This software should help to easy migrate Delphi forms (Delphi & CBuilder) into Qt4 forms. The converter itself is written in Qt4.x. Special Thanks to Robert.

A tool to generate state machine graphs based on specially formatted comments in C and C++ code. The generated output is a Graphviz dot input file.

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.

A design specification language based upon Z Notation and CSP.

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.

C++ SimpleTable is a class which enables the developer to create tables and detect design errors in compile-time

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.