Designing effective gamified solutions is a difficult and highly complex task. Supporting tools for requirements analyst are very rare, while most existing tools provide automation for reasoning over complex knowledge models. Drawing from our involvement in EU Projects and extensive analyst feedback, this paper presents crucial lessons learned on automating gamification analysis and design. We employed these lessons to guide the development of Web-Agon, a web-based solution that automates reasoning over models to support the analyst. Web-Agon, based on the Acceptance/Gamification Requirements Agon Framework, facilitates systematic gamification analysis of software systems. This approach, driven by acceptance (psychological, sociologi-cal, behavioral) requirements, has proven effective in designing systems that positively engage users. Based on models and gamification principles, Web-Agon contributes to building user-centered, engaging software systems. We have evaluated the effectiveness of our tool through a case study on Participatory Architectural Change Management in Air Traffic Management (ATM) systems with the use of Web-Agon for system gamification. We obtained positive results in terms of supporting analyst in a structured, systematic and automated way, reducing potential errors, thanks to automated functionalities, as well as speeding up the gamification process.

SUMMARY: Whole-exome and targeted sequencing are widely utilized both in translational cancer genomics and in the setting of precision medicine. The benchmarking of computational methods and tools that are in continuous development is fundamental for the correct interpretation of somatic genomic profiling results. To this aim we developed synggen, a tool for the fast generation of large-scale realistic and heterogeneous cancer whole-exome and targeted sequencing synthetic datasets, which enables the incorporation of phased germline single nucleotide polymorphisms and complex allele-specific somatic genomic events. Synggen performances and effectiveness in generating synthetic cancer data are shown across different scenarios and considering different platforms with distinct characteristics. AVAILABILITY AND IMPLEMENTATION: synggen is freely available at https://bitbucket.org/CibioBCG/synggen/. SUPPLEMENTARY INFORMATION: Supplementary data are available at Bioinformatics online.