MoDeVVa 2022
PROGRAM
Workshop Program : Full day program
MoDeVVa will take place on 24th of October, 2022, Montreal, Canada.
Keynote Speaker: Prof.Dr. Houari Sahraoui
Keynote Title: "Building interactive visualization environments for specific development and maintenance tasks "
Abstract: Software visualization is an efficient and flexible tool for performing various development and maintenance tasks that are difficult to automate. It allows the exploration and analysis of large sets of multidimensional data extracted from software. During the last two decades, many visualization environments have been proposed. Most of them use interesting visualization metaphors and are able to represent large software. However in general, their adoption is restricted to the small community that developed them. This can be explained by a limited adequacy of these environments to the tasks they are supposed to handle. Indeed, the choices made during the development of these environments are not (explicitly) motivated by the nature of the targeted tasks. It is therefore difficult for general users to understand them and learn to use them in concrete situations. In this talk, we present the principles and guidelines for developing software visualization tools by explicitly considering the nature of data and actions involved in maintenance tasks. These principles are illustrated through the VERSO visualization environment.
Keynote Speaker Bio: Houari Sahraoui is a professor at the software engineering lab GEODES of the department of computer science and operations research, Université de Montréal. He holds a Computer Engineering Diploma from the INI, the National Institute of computer science (1990), Algiers, and a Ph.D. in Computer Science from Pierre & Marie Curie University - LIP6 (1995), with a specialization in AI. His research interests include automated software engineering (SE), the application of AI techniques to SE, model-driven engineering, and software visualization. He has published around 200 papers in conferences, workshops, books, and journals. He has served as a program committee member in several IEEE and ACM conferences, as a member of the editorial boards of four journals, and as an organization member of many conferences and workshops. He was the general chair and program chair of many conferences such as IEEE/ACM International Conference on Automated Software Engineering (ASE), ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), and IEEE Working Conference on Software Visualization (VISSOFT).
8:30 - 10:00 : Welcome and Keynote Talk
Workshop opening
Keynote by Prof. Houari Sahraoui (Université de Montreal) : Building interactive visualization environments for specific development and maintenance tasks
10:00 - 10:30 : Break
10:30 - 12:00 : Session 1 - DSLs and formal methods
Visual Animation of B Specifications using Executable DSLs. Asfand Yar, Akram Idani, Yves Ledru and Simon Collart-Dutilleul
An Embedding of B in Clojure. Philipp Koerner and Florian Mager
Why the Use of Domain-specific Modeling in Airworthy Software Requires New Methods and How these Might Look Like? Vanessa Tietz, Constantin Frey, Julian Schoepf and Bjoern Annighoefer
12:00 - 13:30 : Lunch Break
13:30 - 15:00 : Session 2 - Model analysis
A multiplicity-preserving crossover operator on graphs. Henri Thölke and Jens Kosiol
OCL-Based Test Case Prioritisation using AgileUML. Kunxiang Jin and Kevin Lano
Qualitative Models for the Supervision of CPS Simulations. Baptiste Gueuziec, Frédéric Boulanger and Jean-Pierre Gallois
15:00 - 15:30 : Break
15:30 - 17:00 : Session 3 - Brain Storming and Wrap up
Featured image credit: Montreal, Canada. Based on a Public Domain image available at pixabay. Licensed under the Creative Commons CC0 license.