The ASSO research group focuses on automating the engineering of software (programming/modelling) languages and software by applying advanced computation and data manipulation.
The group pursues long-lasting research on the application of advanced computation and data manipulation to automate, systematize and make more flexible the engineering of software languages and software to increase software quality and productivity of software engineers. The key methodology is Model-Driven Engineering.
The distinctive focus of the ASSO group is multi-fold and includes: engineering of domain-specific languages (DSLs) and modelling languages (DSMLs), automated and seamless support for blended multi-notation editing of programs and models, innovative multi-step transpilation and compilation techniques for automatic generation of executable software from DS(M)Ls based on program and model transformation, software language and software engineering for robotics and the Internet-of-Things.
ASSO is a dynamic group with a variegated set of skills and knowledge in software language and software engineering, as well as theoretical computer science, with a common denominator being automatization of engineering phases. The group has a strong network of internal and external collaborations (both nationally and internationally).
What is the future of modelling? (Feb 2021) Antonio Bucchiarone , Federico Ciccozzi, Leen Lambers , Alfonso Pierantonio, Matthias Tichy , Massimo Tisi , Andreas Wortmann , Vadim Zaytsev IEEE Software (IEEE Software)
Blended Graphical and Textual Modelling for UML Profiles: a Proof-of-Concept Implementation and Experiment (Jan 2021) Lorenzo Addazi, Federico Ciccozzi Journal of Systems and Software (JSS)
Semantic Correctness of Dependence-Based Slicing for Interprocedural, Possibly Nonterminating Programs (Dec 2020) Abu Naser Masud, Björn Lisper ACM Transactions on Programming Languages and Systems (TOPLAS)
Advancing Continuous Model-Based Development in Industry (Nov 2020) Robbert Jongeling
Simple and Efficient Computation of Minimal Weak Control Closure (Nov 2020) Abu Naser Masud SAS 2020 - 27th Static Analysis Symposium (SAS 2020)
Co-evolution of Simulink Models in a Model-Based Product Line (Oct 2020) Robbert Jongeling, Antonio Cicchetti, Federico Ciccozzi, Jan Carlson ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS '20)