Zen-RUCM built on top of RUCM, aims to tackle the challenges of requirement specification and analysis in different application domains
Evolutionary Solver for OCL (EsOCL) is a practical and scalable search-based constraint solver for the Object Constraint Language (OCL) that provides a solution for various model-driven engineering problems.
iOCL (An Interactive OCL Writer Tool) is a web-based tool for writing OCL constraints in an interactive way.
Product Line Test Management Framework (PL-TMF) focusing on managing and generating test cases product lines.
Automated Requirements Reuse and Configuration Framework (Zen-ReqConfig).
Interactive Configuration Framework for CPS Product Lines (Zen-Configurator).
Thank you for your interest in ZEN TOOLS.
For any inquiry about the content and tools presented in the website, please send
emails
to:
