Search Results for "research"

The project has been moved to https://github.com/metrixplusplus/metrixplusplus ______________________ Metrix++ is an extendable tool to collect and analyse code metrics. - Multiple languages supported - Multiple metrics available - Configurable. Every metric has got 'turn-on' and other configuration options. There are no predefined thresholds for metrics or rules. You can choose and configure any limit you want. - High-performance. Processes thousands of files per minutes. -...

autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures...

G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications. See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv.

Klonwerk is an advanced and easy-to-use tool for reactive variability management and large-scale software reuse. It allows you to automatically clone and modify directories of textural or binary files (e.g. code, architecture, documentation), based on conceptual feature/decision models.

...It is the most versatile open source solution of its kind today, with a rapidly growing user base of more than 10k users around the world in thousands of organizations. Based on more than ten years of solid scientific research within real world organizations, Agilefant's unique model scales from personal todo-lists to large-scale multi-team development and long-term product and portfolio management. Unlike other tools, Agilefant adapts to your existing team structure and assignments, and helps achieve true enterprise agility with the fraction of the cost and time needed to adopt cumbersome project management suites offered by competitors.

This tool enables software development effort estimation using 5 different methods. All industry standard methods are used. COCOMO II This is a model for effort estimation. The use of the model enables effort estimation from non-experts (e.g. not developers). Work Breakdown Estimation This is an effort estimation method based on expert judgment. Two options are available: Delphic Oracle and Three Point Estimation. Analogy / Comparison Estimation This method...

Developed by the manteiner Klederson Bueno, phpBurn is a MVC FRAMEWORK for PHP usage, initialy born as an ORM like hibernate and Nhibernate it allows you to create more and faster using OO concepts and patterns with a log of time gain.

Simple wathcdog that can monitor any kind of file if it is responding and restarts process if it is not responding. Also it contains configuration programme that can configure what is the file that needs to be restarted and what process has to be monitored.

UML2Java is a plug-in Eclipse which provides Model2Text (M2T) functionality. It creates a hierachy of java files based on an UML Class diagram. It is fully integrable with Eclise as a plug-in. It requires Acceleo 3.0 and UML2.

Fusion is a powerful high level programming language that merges several feature from Ruby, Python, Java, C++, Visual Basic, etc, in a only language. It's implemented by means of a compiler written in Haskell that generates Ruby code.