Automated Software language and SOftware engineering

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

[Show all publications]

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)

Towards boosting the OpenMBEE platform with model-code consistency (Oct 2020)
Robbert Jongeling, Antonio Cicchetti, Federico Ciccozzi, Jan Carlson
Workshop on Open Model Based Engineering Environment (OpenMBEE) (OpenMBEE)

Using Benji to Systematically Evaluate Model Comparison Algorithms (Oct 2020)
Lorenzo Addazi, Antonio Cicchetti
ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS '20)