An Open-Source java library for constraint programming. Choco is a Free Open-Source Java library dedicated to Constraint Programming. The user models its problem in a declarative way by stating the set of constraints. That need to be satisfied in every solution. Then, the problem is solved by alternating constraint filtering algorithms with a search mechanism. Focus on what matters, when it matters.

Generative software development aims at modeling and implementing system families such that a desired system can be automatically generated from a specification written in one or more textual or graphical domain-specific languages. Good bye GSD Lab, long live WISE Lab! On July 26, 2017. The new website for Waterloo Intelligent Systems Engineering Lab is located at.

Package authors use it to publish their libraries and programs while other Haskell programmers use tools like cabal-install. See what packages have been uploaded recently.

Using extensible DSLs, flexible notations. Mbeddr is a set of integrated and extensible languages for embedded software engineering, plus an IDE. It supports implementation, testing, verification and process aspects. It integrates with command-line build tools and integration servers, as well as file-based version control systems. A Selection Of Features Supported Out-of-the-Box. Reporting and logging is important for embedded appli.

Skip to end of metadata. Last edited by Michal Antkiewicz. Go to start of metadata. Welcome to the NECSIS Theme 3 Public space. The Network for the Engineering of Complex Software-Intensive Systems for Automotive Systems.