Search Results for "computer science projects"

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.

Agilefant is a simple but powerful web based tool for lean and agile project management. 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...

Picartesius is a VBA library created by Lorenz Schiffmann for integrating Picat in Excel Spreadsheets. https://sourceforge.net/projects/picartesius Picat is a simple, and yet powerful, logic-based multi-paradigm programming language created by Neng-Fa Zhou and Jonathan Fruhman aimed for general-purpose applications. http://picat-lang.org

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